
#include "htpa.h"

const unsigned int table_temp [HTPA_NROF_AD_ELEMENTS][HTPA_NROF_TA_ELEMENTS]={
{ 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 2153, 2438  },
{ 0x0000, 0x0000, 0x0000, 1613, 2059, 2352, 2584  },
{ 0x0000, 0x0000, 1523, 1985, 2279, 2512, 2710  },
{ 0x0000, 1487, 1936, 2225, 2452, 2647, 2822  },
{ 1512, 1918, 2190, 2408, 2596, 2765, 2922  },
{ 1931, 2177, 2381, 2559, 2721, 2871, 3013  },
{ 2186, 2371, 2536, 2688, 2831, 2967, 3097  },
{ 2377, 2527, 2668, 2802, 2930, 3054, 3175  },
{ 2533, 2661, 2784, 2904, 3021, 3136, 3248  },
{ 2666, 2778, 2888, 2997, 3104, 3211, 3317  },
{ 2782, 2882, 2982, 3082, 3182, 3282, 3382  },
{ 2886, 2977, 3068, 3161, 3255, 3349, 3444  },
{ 2980, 3064, 3149, 3235, 3323, 3412, 3502  },
{ 3067, 3144, 3223, 3305, 3388, 3472, 3558  },
{ 3147, 3219, 3293, 3370, 3449, 3529, 3612  },
{ 3222, 3289, 3360, 3432, 3507, 3584, 3663  },
{ 3292, 3356, 3422, 3491, 3563, 3637, 3713  },
{ 3358, 3419, 3482, 3548, 3616, 3687, 3760  },
{ 3421, 3479, 3539, 3602, 3668, 3736, 3806  },
{ 3481, 3536, 3593, 3654, 3717, 3783, 3851  },
{ 3538, 3590, 3645, 3703, 3764, 3828, 3894  },
{ 3592, 3642, 3695, 3751, 3810, 3872, 3936  },
{ 3645, 3692, 3743, 3797, 3855, 3914, 3977  },
{ 3694, 3740, 3790, 3842, 3898, 3956, 4017  },
{ 3742, 3787, 3835, 3886, 3939, 3996, 4055  },
{ 3789, 3832, 3878, 3928, 3980, 4035, 4093  },
{ 3833, 3875, 3921, 3969, 4020, 4073, 4130  },
{ 3877, 3918, 3962, 4008, 4058, 4111, 4166  },
{ 3919, 3959, 4002, 4047, 4096, 4147, 4201  },
{ 3960, 3999, 4041, 4085, 4133, 4183, 4236  },
{ 4000, 4038, 4079, 4122, 4169, 4218, 4270  },
{ 4039, 4076, 4116, 4158, 4204, 4252, 4303  },
{ 4077, 4113, 4152, 4194, 4238, 4285, 4335  },
{ 4114, 4149, 4187, 4228, 4272, 4318, 4367  },
{ 4150, 4185, 4222, 4262, 4305, 4350, 4399  },
{ 4185, 4219, 4256, 4295, 4337, 4382, 4429  },
{ 4220, 4253, 4289, 4328, 4369, 4413, 4460  },
{ 4254, 4287, 4322, 4360, 4400, 4444, 4489  },
{ 4287, 4319, 4354, 4391, 4431, 4474, 4519  },
{ 4320, 4351, 4385, 4422, 4461, 4503, 4547  },
{ 4352, 4383, 4416, 4452, 4491, 4532, 4576  },
{ 4383, 4414, 4447, 4482, 4520, 4561, 4604  },
{ 4414, 4444, 4477, 4512, 4549, 4589, 4631  },
{ 4445, 4474, 4506, 4540, 4577, 4617, 4658  },
{ 4474, 4503, 4535, 4569, 4605, 4644, 4684  },
{ 4504, 4532, 4563, 4597, 4633, 4670, 4710  },
{ 4533, 4561, 4592, 4624, 4659, 4697, 4736  },
{ 4561, 4589, 4619, 4651, 4686, 4722, 4761  },
{ 4589, 4617, 4646, 4678, 4712, 4748, 4786  },
{ 4617, 4644, 4673, 4704, 4737, 4773, 4811  },
{ 4644, 4670, 4699, 4730, 4762, 4797, 4835  },
{ 4671, 4697, 4725, 4755, 4787, 4822, 4859  },
{ 4697, 4722, 4750, 4780, 4812, 4846, 4882  },
{ 4723, 4748, 4775, 4804, 4836, 4870, 4905  },
{ 4748, 4773, 4800, 4829, 4860, 4893, 4928  },
{ 4773, 4798, 4824, 4853, 4883, 4916, 4951  },
{ 4798, 4822, 4848, 4876, 4907, 4939, 4973  },
{ 4822, 4846, 4872, 4900, 4930, 4962, 4996  },
{ 4846, 4870, 4895, 4923, 4952, 4984, 5018  },
{ 4870, 4893, 4918, 4945, 4975, 5006, 5039  },
{ 4893, 4916, 4941, 4968, 4997, 5028, 5061  },
{ 4916, 4939, 4964, 4990, 5019, 5049, 5082  },
{ 4939, 4962, 4986, 5012, 5040, 5070, 5103  },
{ 4962, 4984, 5008, 5034, 5062, 5091, 5123  },
{ 4984, 5006, 5030, 5055, 5083, 5112, 5144  },
{ 5006, 5028, 5051, 5076, 5104, 5133, 5164  },
{ 5028, 5049, 5072, 5097, 5124, 5153, 5184  },
{ 5049, 5070, 5093, 5118, 5145, 5173, 5204  },
{ 5071, 5091, 5114, 5139, 5165, 5193, 5223  },
{ 5092, 5112, 5135, 5159, 5185, 5213, 5243  },
{ 5112, 5133, 5155, 5179, 5205, 5233, 5262  },
{ 5133, 5153, 5175, 5199, 5224, 5252, 5281  },
{ 5153, 5173, 5195, 5219, 5244, 5271, 5300  },
{ 5173, 5193, 5215, 5238, 5263, 5290, 5319  },
{ 5193, 5213, 5234, 5257, 5282, 5309, 5337  },
{ 5213, 5233, 5254, 5276, 5301, 5327, 5356  },
{ 5233, 5252, 5273, 5295, 5320, 5346, 5374  },
{ 5252, 5271, 5292, 5314, 5338, 5364, 5392  },
{ 5271, 5290, 5311, 5333, 5357, 5382, 5410  },
{ 5290, 5309, 5329, 5351, 5375, 5400, 5427  },
{ 5309, 5327, 5348, 5369, 5393, 5418, 5445  },
{ 5328, 5346, 5366, 5387, 5411, 5436, 5462  },
{ 5346, 5364, 5384, 5405, 5428, 5453, 5480  },
{ 5364, 5382, 5402, 5423, 5446, 5470, 5497  },
{ 5382, 5400, 5420, 5441, 5463, 5488, 5514  },
{ 5400, 5418, 5437, 5458, 5480, 5505, 5531  },
{ 5418, 5436, 5455, 5475, 5498, 5522, 5547  },
{ 5436, 5453, 5472, 5492, 5515, 5538, 5564  },
{ 5453, 5470, 5489, 5509, 5531, 5555, 5580  },
{ 5471, 5488, 5506, 5526, 5548, 5571, 5597  },
{ 5488, 5505, 5523, 5543, 5565, 5588, 5613  },
{ 5505, 5522, 5540, 5560, 5581, 5604, 5629  },
{ 5522, 5538, 5556, 5576, 5597, 5620, 5645  },
{ 5538, 5555, 5573, 5592, 5613, 5636, 5660  },
{ 5555, 5571, 5589, 5609, 5630, 5652, 5676  },
{ 5572, 5588, 5606, 5625, 5645, 5668, 5692  },
{ 5588, 5604, 5622, 5641, 5661, 5683, 5707  },
{ 5604, 5620, 5638, 5657, 5677, 5699, 5723  },
{ 5620, 5636, 5653, 5672, 5693, 5714, 5738  },
{ 5636, 5652, 5669, 5688, 5708, 5730, 5753  },
{ 5652, 5668, 5685, 5703, 5723, 5745, 5768  },
{ 5668, 5683, 5700, 5719, 5739, 5760, 5783  },
{ 5684, 5699, 5716, 5734, 5754, 5775, 5798  },
{ 5699, 5714, 5731, 5749, 5769, 5790, 5812  },
{ 5714, 5730, 5746, 5764, 5784, 5805, 5827  },
{ 5730, 5745, 5761, 5779, 5798, 5819, 5842  },
{ 5745, 5760, 5776, 5794, 5813, 5834, 5856  },
{ 5760, 5775, 5791, 5809, 5828, 5848, 5870  },
{ 5775, 5790, 5806, 5823, 5842, 5863, 5885  },
{ 5790, 5805, 5821, 5838, 5857, 5877, 5899  },
{ 5805, 5819, 5835, 5852, 5871, 5891, 5913  },
{ 5819, 5834, 5850, 5867, 5885, 5905, 5927  },
{ 5834, 5848, 5864, 5881, 5899, 5919, 5941  },
{ 5848, 5863, 5878, 5895, 5913, 5933, 5954  },
{ 5863, 5877, 5892, 5909, 5927, 5947, 5968  },
{ 5877, 5891, 5907, 5923, 5941, 5961, 5982  },
{ 5891, 5905, 5921, 5937, 5955, 5974, 5995  },
{ 5905, 5919, 5934, 5951, 5969, 5988, 6009  },
{ 5919, 5933, 5948, 5965, 5982, 6002, 6022  },
{ 5933, 5947, 5962, 5978, 5996, 6015, 6035  },
{ 5947, 5961, 5976, 5992, 6009, 6028, 6049  },
{ 5961, 5975, 5989, 6005, 6023, 6042, 6062  },
{ 5975, 5988, 6003, 6019, 6036, 6055, 6075  },
{ 5988, 6002, 6016, 6032, 6049, 6068, 6088  },
{ 6002, 6015, 6030, 6045, 6062, 6081, 6101  },
{ 6015, 6028, 6043, 6059, 6076, 6094, 6114  },
{ 6028, 6042, 6056, 6072, 6089, 6107, 6126  },
{ 6042, 6055, 6069, 6085, 6101, 6120, 6139  },
{ 6055, 6068, 6082, 6098, 6114, 6132, 6152  },
{ 6068, 6081, 6095, 6110, 6127, 6145, 6164  },
{ 6081, 6094, 6108, 6123, 6140, 6158, 6177  },
{ 6094, 6107, 6121, 6136, 6152, 6170, 6189  },
{ 6107, 6120, 6134, 6149, 6165, 6183, 6202  },
{ 6120, 6132, 6146, 6161, 6177, 6195, 6214  },
{ 6132, 6145, 6159, 6174, 6190, 6207, 6226  },
{ 6145, 6158, 6171, 6186, 6202, 6220, 6238  },
{ 6158, 6170, 6184, 6199, 6215, 6232, 6250  },
{ 6170, 6183, 6196, 6211, 6227, 6244, 6262  },
{ 6183, 6195, 6208, 6223, 6239, 6256, 6274  },
{ 6195, 6207, 6221, 6235, 6251, 6268, 6286  },
{ 6207, 6220, 6233, 6247, 6263, 6280, 6298  },
{ 6220, 6232, 6245, 6259, 6275, 6292, 6310  },
{ 6232, 6244, 6257, 6271, 6287, 6304, 6322  },
{ 6244, 6256, 6269, 6283, 6299, 6316, 6333  },
{ 6256, 6268, 6281, 6295, 6311, 6327, 6345  },
{ 6268, 6280, 6293, 6307, 6322, 6339, 6357  },
{ 6280, 6292, 6305, 6319, 6334, 6350, 6368  },
{ 6292, 6304, 6317, 6331, 6346, 6362, 6380  },
{ 6304, 6316, 6328, 6342, 6357, 6374, 6391  },
{ 6316, 6327, 6340, 6354, 6369, 6385, 6402  },
{ 6327, 6339, 6352, 6365, 6380, 6396, 6414  },
{ 6339, 6351, 6363, 6377, 6392, 6408, 6425  },
{ 6351, 6362, 6375, 6388, 6403, 6419, 6436  },
{ 6362, 6374, 6386, 6400, 6414, 6430, 6447  },
{ 6374, 6385, 6397, 6411, 6425, 6441, 6458  },
{ 6385, 6396, 6409, 6422, 6437, 6452, 6469  },
{ 6396, 6408, 6420, 6433, 6448, 6463, 6480  },
{ 6408, 6419, 6431, 6444, 6459, 6475, 6491  },
{ 6419, 6430, 6442, 6456, 6470, 6485, 6502  },
{ 6430, 6441, 6453, 6467, 6481, 6496, 6513  },
{ 6441, 6452, 6465, 6478, 6492, 6507, 6524  },
{ 6453, 6464, 6476, 6489, 6503, 6518, 6535  },
{ 6464, 6475, 6486, 6499, 6514, 6529, 6545  },
{ 6475, 6485, 6497, 6510, 6524, 6540, 6556  },
{ 6486, 6496, 6508, 6521, 6535, 6550, 6567  },
{ 6496, 6507, 6519, 6532, 6546, 6561, 6577  },
{ 6507, 6518, 6530, 6543, 6556, 6571, 6588  },
{ 6518, 6529, 6541, 6553, 6567, 6582, 6598  },
{ 6529, 6540, 6551, 6564, 6578, 6592, 6608  },
{ 6540, 6550, 6562, 6574, 6588, 6603, 6619  },
{ 6550, 6561, 6572, 6585, 6599, 6613, 6629  },
{ 6561, 6571, 6583, 6595, 6609, 6624, 6639  },
{ 6572, 6582, 6593, 6606, 6619, 6634, 6650  },
{ 6582, 6592, 6604, 6616, 6630, 6644, 6660  },
{ 6593, 6603, 6614, 6627, 6640, 6654, 6670  },
{ 6603, 6613, 6625, 6637, 6650, 6665, 6680  },
{ 6613, 6624, 6635, 6647, 6660, 6675, 6690  },
{ 6624, 6634, 6645, 6657, 6671, 6685, 6700  },
{ 6634, 6644, 6655, 6668, 6681, 6695, 6710  },
{ 6644, 6655, 6666, 6678, 6691, 6705, 6720  },
{ 6655, 6665, 6676, 6688, 6701, 6715, 6730  },
{ 6665, 6675, 6686, 6698, 6711, 6725, 6740  },
{ 6675, 6685, 6696, 6708, 6721, 6735, 6750  },
{ 6685, 6695, 6706, 6718, 6731, 6745, 6760  },
{ 6695, 6705, 6716, 6728, 6741, 6755, 6770  },
{ 6705, 6715, 6726, 6738, 6750, 6764, 6779  },
{ 6715, 6725, 6736, 6748, 6760, 6774, 6789  },
{ 6725, 6735, 6746, 6757, 6770, 6784, 6799  },
{ 6735, 6745, 6755, 6767, 6780, 6793, 6808  },
{ 6745, 6755, 6765, 6777, 6789, 6803, 6818  },
{ 6755, 6764, 6775, 6787, 6799, 6813, 6827  },
{ 6764, 6774, 6785, 6796, 6809, 6822, 6837  },
{ 6774, 6784, 6794, 6806, 6818, 6832, 6846  },
{ 6784, 6794, 6804, 6815, 6828, 6841, 6856  },
{ 6794, 6803, 6814, 6825, 6837, 6851, 6865  },
{ 6803, 6813, 6823, 6835, 6847, 6860, 6875  },
{ 6813, 6822, 6833, 6844, 6856, 6870, 6884  },
{ 6822, 6832, 6842, 6853, 6866, 6879, 6893  },
{ 6832, 6841, 6852, 6863, 6875, 6888, 6903  },
{ 6841, 6851, 6861, 6872, 6884, 6898, 6912  },
{ 6851, 6860, 6870, 6882, 6894, 6907, 6921  },
{ 6860, 6870, 6880, 6891, 6903, 6916, 6930  },
{ 6870, 6879, 6889, 6900, 6912, 6925, 6939  },
{ 6879, 6888, 6898, 6909, 6921, 6934, 6948  },
{ 6888, 6898, 6908, 6919, 6931, 6944, 6957  },
{ 6898, 6907, 6917, 6928, 6940, 6953, 6967  },
{ 6907, 6916, 6926, 6937, 6949, 6962, 6976  },
{ 6916, 6925, 6935, 6946, 6958, 6971, 6985  },
{ 6925, 6934, 6944, 6955, 6967, 6980, 6993  },
{ 6935, 6944, 6953, 6964, 6976, 6989, 7002  },
{ 6944, 6953, 6963, 6973, 6985, 6998, 7011  },
{ 6953, 6962, 6972, 6982, 6994, 7007, 7020  },
{ 6962, 6971, 6981, 6991, 7003, 7015, 7029  },
{ 6971, 6980, 6990, 7000, 7012, 7024, 7038  },
{ 6980, 6989, 6998, 7009, 7021, 7033, 7047  },
{ 6989, 6998, 7007, 7018, 7029, 7042, 7055  },
{ 6998, 7007, 7016, 7027, 7038, 7051, 7064  },
{ 7007, 7015, 7025, 7036, 7047, 7059, 7073  },
{ 7016, 7024, 7034, 7044, 7056, 7068, 7081  },
{ 7024, 7033, 7043, 7053, 7064, 7077, 7090  },
{ 7033, 7042, 7051, 7062, 7073, 7085, 7099  },
{ 7042, 7051, 7060, 7071, 7082, 7094, 7107  },
{ 7051, 7059, 7069, 7079, 7090, 7103, 7116  },
{ 7059, 7068, 7078, 7088, 7099, 7111, 7124  },
{ 7068, 7077, 7086, 7096, 7108, 7120, 7133  },
{ 7077, 7085, 7095, 7105, 7116, 7128, 7141  },
{ 7085, 7094, 7103, 7114, 7125, 7137, 7150  },
{ 7094, 7103, 7112, 7122, 7133, 7145, 7158  },
{ 7103, 7111, 7120, 7131, 7142, 7154, 7166  },
{ 7111, 7120, 7129, 7139, 7150, 7162, 7175  },
{ 7120, 7128, 7137, 7148, 7158, 7170, 7183  },
{ 7128, 7137, 7146, 7156, 7167, 7179, 7191  },
{ 7137, 7145, 7154, 7164, 7175, 7187, 7200  },
{ 7145, 7154, 7163, 7173, 7184, 7195, 7208  },
{ 7154, 7162, 7171, 7181, 7192, 7204, 7216  },
{ 7162, 7170, 7179, 7189, 7200, 7212, 7224  },
{ 7170, 7179, 7188, 7198, 7208, 7220, 7233  },
{ 7179, 7187, 7196, 7206, 7217, 7228, 7241  },
{ 7187, 7195, 7204, 7214, 7225, 7236, 7249  },
{ 7195, 7204, 7213, 7222, 7233, 7244, 7257  },
{ 7204, 7212, 7221, 7231, 7241, 7253, 7265  },
{ 7212, 7220, 7229, 7239, 7249, 7261, 7273  },
{ 7220, 7228, 7237, 7247, 7257, 7269, 7281  },
{ 7228, 7236, 7245, 7255, 7265, 7277, 7289  },
{ 7236, 7245, 7253, 7263, 7273, 7285, 7297  },
{ 7245, 7253, 7261, 7271, 7282, 7293, 7305  },
{ 7253, 7261, 7270, 7279, 7290, 7301, 7313  },
{ 7261, 7269, 7278, 7287, 7298, 7309, 7321  },
{ 7269, 7277, 7286, 7295, 7305, 7317, 7329  },
{ 7277, 7285, 7294, 7303, 7313, 7325, 7337  },
{ 7285, 7293, 7302, 7311, 7321, 7333, 7345  },
{ 7293, 7301, 7310, 7319, 7329, 7340, 7352  },
{ 7301, 7309, 7317, 7327, 7337, 7348, 7360  },
{ 7309, 7317, 7325, 7335, 7345, 7356, 7368  },
{ 7317, 7325, 7333, 7343, 7353, 7364, 7376  },
{ 7325, 7333, 7341, 7350, 7361, 7372, 7383  },
{ 7333, 7340, 7349, 7358, 7368, 7379, 7391  },
{ 7340, 7348, 7357, 7366, 7376, 7387, 7399  },
{ 7348, 7356, 7365, 7374, 7384, 7395, 7407  },
{ 7356, 7364, 7372, 7382, 7392, 7402, 7414  },
{ 7364, 7372, 7380, 7389, 7399, 7410, 7422  },
{ 7372, 7379, 7388, 7397, 7407, 7418, 7429  },
{ 7379, 7387, 7395, 7405, 7415, 7425, 7437  },
{ 7387, 7395, 7403, 7412, 7422, 7433, 7445  },
{ 7395, 7402, 7411, 7420, 7430, 7441, 7452  },
{ 7403, 7410, 7418, 7428, 7437, 7448, 7460  },
{ 7410, 7418, 7426, 7435, 7445, 7456, 7467  },
{ 7418, 7425, 7434, 7443, 7453, 7463, 7475  },
{ 7425, 7433, 7441, 7450, 7460, 7471, 7482  },
{ 7433, 7441, 7449, 7458, 7468, 7478, 7490  },
{ 7441, 7448, 7456, 7465, 7475, 7486, 7497  },
{ 7448, 7456, 7464, 7473, 7483, 7493, 7504  },
{ 7456, 7463, 7471, 7480, 7490, 7500, 7512  },
{ 7463, 7471, 7479, 7488, 7497, 7508, 7519  },
{ 7471, 7478, 7486, 7495, 7505, 7515, 7527  },
{ 7478, 7486, 7494, 7503, 7512, 7523, 7534  },
{ 7486, 7493, 7501, 7510, 7520, 7530, 7541  },
{ 7493, 7500, 7509, 7517, 7527, 7537, 7548  },
{ 7501, 7508, 7516, 7525, 7534, 7545, 7556  },
{ 7508, 7515, 7523, 7532, 7542, 7552, 7563  },
{ 7515, 7523, 7531, 7539, 7549, 7559, 7570  },
{ 7523, 7530, 7538, 7547, 7556, 7566, 7577  },
{ 7530, 7537, 7545, 7554, 7563, 7574, 7585  },
{ 7537, 7545, 7553, 7561, 7571, 7581, 7592  },
{ 7545, 7552, 7560, 7568, 7578, 7588, 7599  },
{ 7552, 7559, 7567, 7576, 7585, 7595, 7606  },
{ 7559, 7566, 7574, 7583, 7592, 7602, 7613  },
{ 7566, 7574, 7581, 7590, 7599, 7609, 7620  },
{ 7574, 7581, 7589, 7597, 7607, 7617, 7627  },
{ 7581, 7588, 7596, 7604, 7614, 7624, 7635  },
{ 7588, 7595, 7603, 7611, 7621, 7631, 7642  },
{ 7595, 7602, 7610, 7619, 7628, 7638, 7649  },
{ 7602, 7609, 7617, 7626, 7635, 7645, 7656  },
{ 7610, 7617, 7624, 7633, 7642, 7652, 7663  },
{ 7617, 7624, 7631, 7640, 7649, 7659, 7670  },
{ 7624, 7631, 7638, 7647, 7656, 7666, 7677  },
{ 7631, 7638, 7646, 7654, 7663, 7673, 7684  },
{ 7638, 7645, 7653, 7661, 7670, 7680, 7691  },
{ 7645, 7652, 7660, 7668, 7677, 7687, 7697  },
{ 7652, 7659, 7667, 7675, 7684, 7694, 7704  },
{ 7659, 7666, 7674, 7682, 7691, 7701, 7711  },
{ 7666, 7673, 7681, 7689, 7698, 7708, 7718  },
{ 7673, 7680, 7687, 7696, 7705, 7714, 7725  },
{ 7680, 7687, 7694, 7703, 7712, 7721, 7732  },
{ 7687, 7694, 7701, 7710, 7718, 7728, 7739  },
{ 7694, 7701, 7708, 7716, 7725, 7735, 7745  },
{ 7701, 7708, 7715, 7723, 7732, 7742, 7752  },
{ 7708, 7714, 7722, 7730, 7739, 7749, 7759  },
{ 7714, 7721, 7729, 7737, 7746, 7755, 7766  },
{ 7721, 7728, 7736, 7744, 7753, 7762, 7772  },
{ 7728, 7735, 7742, 7751, 7759, 7769, 7779  },
{ 7735, 7742, 7749, 7757, 7766, 7776, 7786  },
{ 7742, 7749, 7756, 7764, 7773, 7782, 7793  },
{ 7749, 7755, 7763, 7771, 7780, 7789, 7799  },
{ 7755, 7762, 7770, 7778, 7786, 7796, 7806  },
{ 7762, 7769, 7776, 7784, 7793, 7802, 7813  },
{ 7769, 7776, 7783, 7791, 7800, 7809, 7819  },
{ 7776, 7782, 7790, 7798, 7806, 7816, 7826  },
{ 7782, 7789, 7796, 7804, 7813, 7822, 7832  },
{ 7789, 7796, 7803, 7811, 7820, 7829, 7839  },
{ 7796, 7802, 7810, 7818, 7826, 7836, 7846  },
{ 7802, 7809, 7816, 7824, 7833, 7842, 7852  },
{ 7809, 7816, 7823, 7831, 7839, 7849, 7859  },
{ 7816, 7822, 7830, 7837, 7846, 7855, 7865  },
{ 7822, 7829, 7836, 7844, 7853, 7862, 7872  },
{ 7829, 7836, 7843, 7851, 7859, 7868, 7878  },
{ 7836, 7842, 7849, 7857, 7866, 7875, 7885  },
{ 7842, 7849, 7856, 7864, 7872, 7881, 7891  },
{ 7849, 7855, 7862, 7870, 7879, 7888, 7898  },
{ 7855, 7862, 7869, 7877, 7885, 7894, 7904  },
{ 7862, 7868, 7875, 7883, 7892, 7901, 7911  },
{ 7868, 7875, 7882, 7890, 7898, 7907, 7917  },
{ 7875, 7881, 7888, 7896, 7904, 7914, 7923  },
{ 7881, 7888, 7895, 7903, 7911, 7920, 7930  },
{ 7888, 7894, 7901, 7909, 7917, 7926, 7936  },
{ 7894, 7901, 7908, 7915, 7924, 7933, 7943  },
{ 7901, 7907, 7914, 7922, 7930, 7939, 7949  },
{ 7907, 7914, 7921, 7928, 7936, 7945, 7955  },
{ 7914, 7920, 7927, 7935, 7943, 7952, 7962  },
{ 7920, 7926, 7933, 7941, 7949, 7958, 7968  },
{ 7926, 7933, 7940, 7947, 7956, 7964, 7974  },
{ 7933, 7939, 7946, 7954, 7962, 7971, 7980  },
{ 7939, 7946, 7952, 7960, 7968, 7977, 7987  },
{ 7946, 7952, 7959, 7966, 7974, 7983, 7993  },
{ 7952, 7958, 7965, 7973, 7981, 7990, 7999  },
{ 7958, 7964, 7971, 7979, 7987, 7996, 8005  },
{ 7965, 7971, 7978, 7985, 7993, 8002, 8012  },
{ 7971, 7977, 7984, 7991, 8000, 8008, 8018  },
{ 7977, 7983, 7990, 7998, 8006, 8015, 8024  },
{ 7983, 7990, 7996, 8004, 8012, 8021, 8030  },
{ 7990, 7996, 8003, 8010, 8018, 8027, 8036  },
{ 7996, 8002, 8009, 8016, 8024, 8033, 8043  },
{ 8002, 8008, 8015, 8022, 8031, 8039, 8049  },
{ 8008, 8015, 8021, 8029, 8037, 8045, 8055  },
{ 8015, 8021, 8027, 8035, 8043, 8052, 8061  },
{ 8021, 8027, 8034, 8041, 8049, 8058, 8067  },
{ 8027, 8033, 8040, 8047, 8055, 8064, 8073  },
{ 8033, 8039, 8046, 8053, 8061, 8070, 8079  },
{ 8039, 8045, 8052, 8059, 8067, 8076, 8085  },
{ 8045, 8052, 8058, 8065, 8073, 8082, 8091  },
{ 8052, 8058, 8064, 8072, 8079, 8088, 8097  },
{ 8058, 8064, 8070, 8078, 8086, 8094, 8103  },
{ 8064, 8070, 8076, 8084, 8092, 8100, 8109  },
{ 8070, 8076, 8083, 8090, 8098, 8106, 8115  },
{ 8076, 8082, 8089, 8096, 8104, 8112, 8121  },
{ 8082, 8088, 8095, 8102, 8110, 8118, 8127  },
{ 8088, 8094, 8101, 8108, 8116, 8124, 8133  },
{ 8094, 8100, 8107, 8114, 8122, 8130, 8139  },
{ 8100, 8106, 8113, 8120, 8128, 8136, 8145  },
{ 8106, 8112, 8119, 8126, 8134, 8142, 8151  },
{ 8112, 8118, 8125, 8132, 8140, 8148, 8157  },
{ 8118, 8124, 8131, 8138, 8146, 8154, 8163  },
{ 8124, 8130, 8137, 8144, 8151, 8160, 8169  },
{ 8130, 8136, 8143, 8150, 8157, 8166, 8175  },
{ 8136, 8142, 8149, 8156, 8163, 8172, 8181  },
{ 8142, 8148, 8154, 8162, 8169, 8178, 8187  },
{ 8148, 8154, 8160, 8167, 8175, 8183, 8192  },
{ 8154, 8160, 8166, 8173, 8181, 8189, 8198  },
{ 8160, 8166, 8172, 8179, 8187, 8195, 8204  },
{ 8166, 8172, 8178, 8185, 8193, 8201, 8210  },
{ 8172, 8178, 8184, 8191, 8199, 8207, 8216  },
{ 8178, 8183, 8190, 8197, 8204, 8213, 8221  },
{ 8183, 8189, 8196, 8203, 8210, 8218, 8227  },
{ 8189, 8195, 8201, 8208, 8216, 8224, 8233  },
{ 8195, 8201, 8207, 8214, 8222, 8230, 8239  },
{ 8201, 8207, 8213, 8220, 8228, 8236, 8245  },
{ 8207, 8213, 8219, 8226, 8233, 8241, 8250  },
{ 8213, 8218, 8225, 8232, 8239, 8247, 8256  },
{ 8218, 8224, 8230, 8237, 8245, 8253, 8262  },
{ 8224, 8230, 8236, 8243, 8251, 8259, 8267  },
{ 8230, 8236, 8242, 8249, 8256, 8264, 8273  },
{ 8236, 8242, 8248, 8255, 8262, 8270, 8279  },
{ 8242, 8247, 8254, 8260, 8268, 8276, 8285  },
{ 8247, 8253, 8259, 8266, 8273, 8282, 8290  },
{ 8253, 8259, 8265, 8272, 8279, 8287, 8296  },
{ 8259, 8264, 8271, 8277, 8285, 8293, 8302  },
{ 8264, 8270, 8276, 8283, 8291, 8299, 8307  },
{ 8270, 8276, 8282, 8289, 8296, 8304, 8313  },
{ 8276, 8282, 8288, 8294, 8302, 8310, 8318  },
{ 8282, 8287, 8293, 8300, 8307, 8315, 8324  },
{ 8287, 8293, 8299, 8306, 8313, 8321, 8330  },
{ 8293, 8299, 8305, 8311, 8319, 8327, 8335  },
{ 8299, 8304, 8310, 8317, 8324, 8332, 8341  },
{ 8304, 8310, 8316, 8323, 8330, 8338, 8346  },
{ 8310, 8315, 8322, 8328, 8336, 8343, 8352  },
{ 8315, 8321, 8327, 8334, 8341, 8349, 8357  },
{ 8321, 8327, 8333, 8339, 8347, 8355, 8363  },
{ 8327, 8332, 8338, 8345, 8352, 8360, 8369  },
{ 8332, 8338, 8344, 8351, 8358, 8366, 8374  },
{ 8338, 8343, 8349, 8356, 8363, 8371, 8380  },
{ 8343, 8349, 8355, 8362, 8369, 8377, 8385  },
{ 8349, 8355, 8361, 8367, 8374, 8382, 8391  },
{ 8355, 8360, 8366, 8373, 8380, 8388, 8396  },
{ 8360, 8366, 8372, 8378, 8385, 8393, 8402  },
{ 8366, 8371, 8377, 8384, 8391, 8399, 8407  },
{ 8371, 8377, 8383, 8389, 8396, 8404, 8412  },
{ 8377, 8382, 8388, 8395, 8402, 8410, 8418  },
{ 8382, 8388, 8394, 8400, 8407, 8415, 8423  },
{ 8388, 8393, 8399, 8406, 8413, 8420, 8429  },
{ 8393, 8399, 8405, 8411, 8418, 8426, 8434  },
{ 8399, 8404, 8410, 8417, 8424, 8431, 8440  },
{ 8404, 8410, 8415, 8422, 8429, 8437, 8445  },
{ 8410, 8415, 8421, 8427, 8434, 8442, 8450  },
{ 8415, 8420, 8426, 8433, 8440, 8447, 8456  },
{ 8420, 8426, 8432, 8438, 8445, 8453, 8461  },
{ 8426, 8431, 8437, 8444, 8451, 8458, 8466  },
{ 8431, 8437, 8443, 8449, 8456, 8464, 8472  },
{ 8437, 8442, 8448, 8454, 8461, 8469, 8477  },
{ 8442, 8447, 8453, 8460, 8467, 8474, 8482  },
{ 8448, 8453, 8459, 8465, 8472, 8480, 8488  },
{ 8453, 8458, 8464, 8470, 8477, 8485, 8493  },
{ 8458, 8464, 8469, 8476, 8483, 8490, 8498  },
{ 8464, 8469, 8475, 8481, 8488, 8496, 8504  },
{ 8469, 8474, 8480, 8486, 8493, 8501, 8509  },
{ 8474, 8480, 8485, 8492, 8499, 8506, 8514  },
{ 8480, 8485, 8491, 8497, 8504, 8511, 8520  },
{ 8485, 8490, 8496, 8502, 8509, 8517, 8525  },
{ 8490, 8496, 8501, 8508, 8515, 8522, 8530  },
{ 8496, 8501, 8507, 8513, 8520, 8527, 8535  },
{ 8501, 8506, 8512, 8518, 8525, 8533, 8541  },
{ 8506, 8511, 8517, 8524, 8530, 8538, 8546  },
{ 8512, 8517, 8522, 8529, 8536, 8543, 8551  },
{ 8517, 8522, 8528, 8534, 8541, 8548, 8556  },
{ 8522, 8527, 8533, 8539, 8546, 8553, 8561  },
{ 8527, 8533, 8538, 8544, 8551, 8559, 8567  },
{ 8533, 8538, 8543, 8550, 8556, 8564, 8572  },
{ 8538, 8543, 8549, 8555, 8562, 8569, 8577  },
{ 8543, 8548, 8554, 8560, 8567, 8574, 8582  },
{ 8548, 8553, 8559, 8565, 8572, 8579, 8587  },
{ 8553, 8559, 8564, 8570, 8577, 8585, 8592  },
{ 8559, 8564, 8570, 8576, 8582, 8590, 8598  },
{ 8564, 8569, 8575, 8581, 8588, 8595, 8603  },
{ 8569, 8574, 8580, 8586, 8593, 8600, 8608  },
{ 8574, 8579, 8585, 8591, 8598, 8605, 8613  },
{ 8579, 8585, 8590, 8596, 8603, 8610, 8618  },
{ 8585, 8590, 8595, 8601, 8608, 8615, 8623  },
{ 8590, 8595, 8600, 8607, 8613, 8620, 8628  },
{ 8595, 8600, 8606, 8612, 8618, 8626, 8633  },
{ 8600, 8605, 8611, 8617, 8623, 8631, 8638  },
{ 8605, 8610, 8616, 8622, 8629, 8636, 8644  },
{ 8610, 8615, 8621, 8627, 8634, 8641, 8649  },
{ 8615, 8620, 8626, 8632, 8639, 8646, 8654  },
{ 8621, 8626, 8631, 8637, 8644, 8651, 8659  },
{ 8626, 8631, 8636, 8642, 8649, 8656, 8664  },
{ 8631, 8636, 8641, 8647, 8654, 8661, 8669  },
{ 8636, 8641, 8646, 8652, 8659, 8666, 8674  },
{ 8641, 8646, 8651, 8657, 8664, 8671, 8679  },
{ 8646, 8651, 8656, 8662, 8669, 8676, 8684  },
{ 8651, 8656, 8661, 8667, 8674, 8681, 8689  },
{ 8656, 8661, 8667, 8673, 8679, 8686, 8694  },
{ 8661, 8666, 8672, 8678, 8684, 8691, 8699  },
{ 8666, 8671, 8677, 8683, 8689, 8696, 8704  },
{ 8671, 8676, 8682, 8688, 8694, 8701, 8709  },
{ 8676, 8681, 8687, 8693, 8699, 8706, 8714  },
{ 8681, 8686, 8692, 8698, 8704, 8711, 8719  },
{ 8686, 8691, 8697, 8703, 8709, 8716, 8724  },
{ 8691, 8696, 8702, 8707, 8714, 8721, 8729  },
{ 8696, 8701, 8707, 8712, 8719, 8726, 8733  },
{ 8701, 8706, 8711, 8717, 8724, 8731, 8738  },
{ 8706, 8711, 8716, 8722, 8729, 8736, 8743  },
{ 8711, 8716, 8721, 8727, 8734, 8741, 8748  },
{ 8716, 8721, 8726, 8732, 8739, 8746, 8753  },
{ 8721, 8726, 8731, 8737, 8744, 8750, 8758  },
{ 8726, 8731, 8736, 8742, 8748, 8755, 8763  },
{ 8731, 8736, 8741, 8747, 8753, 8760, 8768  },
{ 8736, 8741, 8746, 8752, 8758, 8765, 8773  },
{ 8741, 8746, 8751, 8757, 8763, 8770, 8778  },
{ 8746, 8750, 8756, 8762, 8768, 8775, 8782  },
{ 8751, 8755, 8761, 8767, 8773, 8780, 8787  },
{ 8755, 8760, 8766, 8771, 8778, 8785, 8792  },
{ 8760, 8765, 8770, 8776, 8783, 8789, 8797  },
{ 8765, 8770, 8775, 8781, 8787, 8794, 8802  },
{ 8770, 8775, 8780, 8786, 8792, 8799, 8807  },
{ 8775, 8780, 8785, 8791, 8797, 8804, 8811  },
{ 8780, 8785, 8790, 8796, 8802, 8809, 8816  },
{ 8785, 8789, 8795, 8801, 8807, 8814, 8821  },
{ 8790, 8794, 8800, 8805, 8812, 8818, 8826  },
{ 8794, 8799, 8804, 8810, 8816, 8823, 8831  },
{ 8799, 8804, 8809, 8815, 8821, 8828, 8835  },
{ 8804, 8809, 8814, 8820, 8826, 8833, 8840  },
{ 8809, 8814, 8819, 8825, 8831, 8838, 8845  },
{ 8814, 8818, 8824, 8829, 8836, 8842, 8850  },
{ 8818, 8823, 8828, 8834, 8840, 8847, 8854  },
{ 8823, 8828, 8833, 8839, 8845, 8852, 8859  },
{ 8828, 8833, 8838, 8844, 8850, 8857, 8864  },
{ 8833, 8838, 8843, 8848, 8855, 8861, 8869  },
{ 8838, 8842, 8848, 8853, 8859, 8866, 8873  },
{ 8842, 8847, 8852, 8858, 8864, 8871, 8878  },
{ 8847, 8852, 8857, 8863, 8869, 8876, 8883  },
{ 8852, 8857, 8862, 8867, 8874, 8880, 8887  },
{ 8857, 8861, 8867, 8872, 8878, 8885, 8892  },
{ 8861, 8866, 8871, 8877, 8883, 8890, 8897  },
{ 8866, 8871, 8876, 8882, 8888, 8894, 8902  },
{ 8871, 8876, 8881, 8886, 8892, 8899, 8906  },
{ 8876, 8880, 8885, 8891, 8897, 8904, 8911  },
{ 8880, 8885, 8890, 8896, 8902, 8908, 8916  },
{ 8885, 8890, 8895, 8900, 8906, 8913, 8920  },
{ 8890, 8894, 8899, 8905, 8911, 8918, 8925  },
{ 8894, 8899, 8904, 8910, 8916, 8922, 8930  },
{ 8899, 8904, 8909, 8914, 8920, 8927, 8934  },
{ 8904, 8908, 8913, 8919, 8925, 8932, 8939  },
{ 8908, 8913, 8918, 8924, 8930, 8936, 8943  },
{ 8913, 8918, 8923, 8928, 8934, 8941, 8948  },
{ 8918, 8922, 8927, 8933, 8939, 8946, 8953  },
{ 8922, 8927, 8932, 8938, 8944, 8950, 8957  },
{ 8927, 8932, 8937, 8942, 8948, 8955, 8962  },
{ 8932, 8936, 8941, 8947, 8953, 8959, 8966  },
{ 8936, 8941, 8946, 8952, 8957, 8964, 8971  },
{ 8941, 8946, 8951, 8956, 8962, 8969, 8976  },
{ 8946, 8950, 8955, 8961, 8967, 8973, 8980  },
{ 8950, 8955, 8960, 8965, 8971, 8978, 8985  },
{ 8955, 8959, 8964, 8970, 8976, 8982, 8989  },
{ 8959, 8964, 8969, 8974, 8980, 8987, 8994  },
{ 8964, 8969, 8974, 8979, 8985, 8991, 8998  },
{ 8969, 8973, 8978, 8984, 8990, 8996, 9003  },
{ 8973, 8978, 8983, 8988, 8994, 9001, 9008  },
{ 8978, 8982, 8987, 8993, 8999, 9005, 9012  },
{ 8982, 8987, 8992, 8997, 9003, 9010, 9017  },
{ 8987, 8991, 8996, 9002, 9008, 9014, 9021  },
{ 8992, 8996, 9001, 9006, 9012, 9019, 9026  },
{ 8996, 9001, 9006, 9011, 9017, 9023, 9030  },
{ 9001, 9005, 9010, 9015, 9021, 9028, 9035  },
{ 9005, 9010, 9015, 9020, 9026, 9032, 9039  },
{ 9010, 9014, 9019, 9025, 9030, 9037, 9044  },
{ 9014, 9019, 9024, 9029, 9035, 9041, 9048  },
{ 9019, 9023, 9028, 9034, 9039, 9046, 9053  },
{ 9023, 9028, 9033, 9038, 9044, 9050, 9057  },
{ 9028, 9032, 9037, 9043, 9048, 9055, 9062  },
{ 9032, 9037, 9042, 9047, 9053, 9059, 9066  },
{ 9037, 9041, 9046, 9051, 9057, 9064, 9070  },
{ 9041, 9046, 9051, 9056, 9062, 9068, 9075  },
{ 9046, 9050, 9055, 9060, 9066, 9073, 9079  },
{ 9050, 9055, 9060, 9065, 9071, 9077, 9084  },
{ 9055, 9059, 9064, 9069, 9075, 9081, 9088  },
{ 9059, 9064, 9068, 9074, 9080, 9086, 9093  },
{ 9064, 9068, 9073, 9078, 9084, 9090, 9097  },
{ 9068, 9073, 9077, 9083, 9088, 9095, 9101  },
{ 9073, 9077, 9082, 9087, 9093, 9099, 9106  },
{ 9077, 9081, 9086, 9092, 9097, 9104, 9110  },
{ 9081, 9086, 9091, 9096, 9102, 9108, 9115  },
{ 9086, 9090, 9095, 9100, 9106, 9112, 9119  },
{ 9090, 9095, 9100, 9105, 9111, 9117, 9123  },
{ 9095, 9099, 9104, 9109, 9115, 9121, 9128  },
{ 9099, 9104, 9108, 9114, 9119, 9126, 9132  },
{ 9104, 9108, 9113, 9118, 9124, 9130, 9137  },
{ 9108, 9112, 9117, 9122, 9128, 9134, 9141  },
{ 9112, 9117, 9122, 9127, 9132, 9139, 9145  },
{ 9117, 9121, 9126, 9131, 9137, 9143, 9150  },
{ 9121, 9126, 9130, 9136, 9141, 9147, 9154  },
{ 9126, 9130, 9135, 9140, 9146, 9152, 9158  },
{ 9130, 9134, 9139, 9144, 9150, 9156, 9163  },
{ 9134, 9139, 9143, 9149, 9154, 9160, 9167  },
{ 9139, 9143, 9148, 9153, 9159, 9165, 9171  },
{ 9143, 9147, 9152, 9157, 9163, 9169, 9176  },
{ 9147, 9152, 9156, 9162, 9167, 9173, 9180  },
{ 9152, 9156, 9161, 9166, 9172, 9178, 9184  },
{ 9156, 9160, 9165, 9170, 9176, 9182, 9189  },
{ 9160, 9165, 9169, 9175, 9180, 9186, 9193  },
{ 9165, 9169, 9174, 9179, 9185, 9191, 9197  },
{ 9169, 9173, 9178, 9183, 9189, 9195, 9201  },
{ 9173, 9178, 9182, 9188, 9193, 9199, 9206  },
{ 9178, 9182, 9187, 9192, 9197, 9203, 9210  },
{ 9182, 9186, 9191, 9196, 9202, 9208, 9214  },
{ 9186, 9191, 9195, 9200, 9206, 9212, 9219  },
{ 9191, 9195, 9200, 9205, 9210, 9216, 9223  },
{ 9195, 9199, 9204, 9209, 9215, 9221, 9227  },
{ 9199, 9203, 9208, 9213, 9219, 9225, 9231  },
{ 9204, 9208, 9212, 9218, 9223, 9229, 9236  },
{ 9208, 9212, 9217, 9222, 9227, 9233, 9240  },
{ 9212, 9216, 9221, 9226, 9232, 9238, 9244  },
{ 9216, 9221, 9225, 9230, 9236, 9242, 9248  },
{ 9221, 9225, 9229, 9235, 9240, 9246, 9253  },
{ 9225, 9229, 9234, 9239, 9244, 9250, 9257  },
{ 9229, 9233, 9238, 9243, 9248, 9254, 9261  },
{ 9233, 9238, 9242, 9247, 9253, 9259, 9265  },
{ 9238, 9242, 9246, 9251, 9257, 9263, 9269  },
{ 9242, 9246, 9251, 9256, 9261, 9267, 9274  },
{ 9246, 9250, 9255, 9260, 9265, 9271, 9278  },
{ 9250, 9254, 9259, 9264, 9270, 9276, 9282  },
{ 9255, 9259, 9263, 9268, 9274, 9280, 9286  },
{ 9259, 9263, 9267, 9273, 9278, 9284, 9290  },
{ 9263, 9267, 9272, 9277, 9282, 9288, 9294  },
{ 9267, 9271, 9276, 9281, 9286, 9292, 9299  },
{ 9271, 9276, 9280, 9285, 9291, 9296, 9303  },
{ 9276, 9280, 9284, 9289, 9295, 9301, 9307  },
{ 9280, 9284, 9288, 9293, 9299, 9305, 9311  },
{ 9284, 9288, 9293, 9298, 9303, 9309, 9315  },
{ 9288, 9292, 9297, 9302, 9307, 9313, 9319  },
{ 9292, 9296, 9301, 9306, 9311, 9317, 9324  },
{ 9296, 9301, 9305, 9310, 9315, 9321, 9328  },
{ 9301, 9305, 9309, 9314, 9320, 9325, 9332  },
{ 9305, 9309, 9313, 9318, 9324, 9330, 9336  },
{ 9309, 9313, 9318, 9323, 9328, 9334, 9340  },
{ 9313, 9317, 9322, 9327, 9332, 9338, 9344  },
{ 9317, 9321, 9326, 9331, 9336, 9342, 9348  },
{ 9321, 9325, 9330, 9335, 9340, 9346, 9352  },
{ 9326, 9330, 9334, 9339, 9344, 9350, 9356  },
{ 9330, 9334, 9338, 9343, 9348, 9354, 9361  },
{ 9334, 9338, 9342, 9347, 9353, 9358, 9365  },
{ 9338, 9342, 9346, 9351, 9357, 9362, 9369  },
{ 9342, 9346, 9351, 9355, 9361, 9367, 9373  },
{ 9346, 9350, 9355, 9360, 9365, 9371, 9377  },
{ 9350, 9354, 9359, 9364, 9369, 9375, 9381  },
{ 9354, 9358, 9363, 9368, 9373, 9379, 9385  },
{ 9358, 9362, 9367, 9372, 9377, 9383, 9389  },
{ 9363, 9367, 9371, 9376, 9381, 9387, 9393  },
{ 9367, 9371, 9375, 9380, 9385, 9391, 9397  },
{ 9371, 9375, 9379, 9384, 9389, 9395, 9401  },
{ 9375, 9379, 9383, 9388, 9393, 9399, 9405  },
{ 9379, 9383, 9387, 9392, 9397, 9403, 9409  },
{ 9383, 9387, 9391, 9396, 9401, 9407, 9413  },
{ 9387, 9391, 9395, 9400, 9405, 9411, 9417  },
{ 9391, 9395, 9399, 9404, 9410, 9415, 9421  },
{ 9395, 9399, 9404, 9408, 9414, 9419, 9425  },
{ 9399, 9403, 9408, 9412, 9418, 9423, 9429  },
{ 9403, 9407, 9412, 9416, 9422, 9427, 9433  },
{ 9407, 9411, 9416, 9420, 9426, 9431, 9437  },
{ 9411, 9415, 9420, 9424, 9430, 9435, 9441  },
{ 9415, 9419, 9424, 9428, 9434, 9439, 9445  },
{ 9419, 9423, 9428, 9432, 9438, 9443, 9449  },
{ 9423, 9427, 9432, 9436, 9442, 9447, 9453  },
{ 9427, 9431, 9436, 9440, 9446, 9451, 9457  },
{ 9431, 9435, 9440, 9444, 9450, 9455, 9461  },
{ 9435, 9439, 9444, 9448, 9454, 9459, 9465  },
{ 9439, 9443, 9448, 9452, 9458, 9463, 9469  },
{ 9443, 9447, 9452, 9456, 9462, 9467, 9473  },
{ 9447, 9451, 9456, 9460, 9466, 9471, 9477  },
{ 9451, 9455, 9460, 9464, 9470, 9475, 9481  },
{ 9455, 9459, 9464, 9468, 9474, 9479, 9485  },
{ 9459, 9463, 9468, 9472, 9477, 9483, 9489  },
{ 9463, 9467, 9472, 9476, 9481, 9487, 9493  },
{ 9467, 9471, 9476, 9480, 9485, 9491, 9497  },
{ 9471, 9475, 9479, 9484, 9489, 9495, 9501  },
{ 9475, 9479, 9483, 9488, 9493, 9499, 9505  },
{ 9479, 9483, 9487, 9492, 9497, 9503, 9509  },
{ 9483, 9487, 9491, 9496, 9501, 9507, 9513  },
{ 9487, 9491, 9495, 9500, 9505, 9511, 9517  },
{ 9491, 9495, 9499, 9504, 9509, 9515, 9521  },
{ 9495, 9499, 9503, 9508, 9513, 9518, 9524  },
{ 9499, 9503, 9507, 9512, 9517, 9522, 9528  },
{ 9503, 9507, 9511, 9516, 9521, 9526, 9532  },
{ 9507, 9511, 9515, 9520, 9525, 9530, 9536  },
{ 9511, 9515, 9519, 9523, 9529, 9534, 9540  },
{ 9515, 9518, 9523, 9527, 9532, 9538, 9544  },
{ 9519, 9522, 9527, 9531, 9536, 9542, 9548  },
{ 9522, 9526, 9531, 9535, 9540, 9546, 9552  },
{ 9526, 9530, 9534, 9539, 9544, 9550, 9556  },
{ 9530, 9534, 9538, 9543, 9548, 9554, 9559  },
{ 9534, 9538, 9542, 9547, 9552, 9557, 9563  },
{ 9538, 9542, 9546, 9551, 9556, 9561, 9567  },
{ 9542, 9546, 9550, 9555, 9560, 9565, 9571  },
{ 9546, 9550, 9554, 9558, 9564, 9569, 9575  },
{ 9550, 9554, 9558, 9562, 9567, 9573, 9579  },
{ 9554, 9557, 9562, 9566, 9571, 9577, 9583  },
{ 9557, 9561, 9565, 9570, 9575, 9581, 9586  },
{ 9561, 9565, 9569, 9574, 9579, 9584, 9590  },
{ 9565, 9569, 9573, 9578, 9583, 9588, 9594  },
{ 9569, 9573, 9577, 9582, 9587, 9592, 9598  },
{ 9573, 9577, 9581, 9585, 9590, 9596, 9602  },
{ 9577, 9581, 9585, 9589, 9594, 9600, 9606  },
{ 9581, 9584, 9589, 9593, 9598, 9604, 9609  },
{ 9584, 9588, 9592, 9597, 9602, 9607, 9613  },
{ 9588, 9592, 9596, 9601, 9606, 9611, 9617  },
{ 9592, 9596, 9600, 9605, 9610, 9615, 9621  },
{ 9596, 9600, 9604, 9608, 9613, 9619, 9625  },
{ 9600, 9604, 9608, 9612, 9617, 9623, 9628  },
{ 9604, 9607, 9612, 9616, 9621, 9626, 9632  },
{ 9607, 9611, 9615, 9620, 9625, 9630, 9636  },
{ 9611, 9615, 9619, 9624, 9629, 9634, 9640  },
{ 9615, 9619, 9623, 9627, 9632, 9638, 9644  },
{ 9619, 9623, 9627, 9631, 9636, 9642, 9647  },
{ 9623, 9626, 9631, 9635, 9640, 9645, 9651  },
{ 9626, 9630, 9634, 9639, 9644, 9649, 9655  },
{ 9630, 9634, 9638, 9643, 9648, 9653, 9659  },
{ 9634, 9638, 9642, 9646, 9651, 9657, 9662  },
{ 9638, 9642, 9646, 9650, 9655, 9660, 9666  },
{ 9642, 9645, 9649, 9654, 9659, 9664, 9670  },
{ 9645, 9649, 9653, 9658, 9663, 9668, 9674  },
{ 9649, 9653, 9657, 9661, 9666, 9672, 9677  },
{ 9653, 9657, 9661, 9665, 9670, 9675, 9681  },
{ 9657, 9660, 9664, 9669, 9674, 9679, 9685  },
{ 9660, 9664, 9668, 9673, 9678, 9683, 9689  },
{ 9664, 9668, 9672, 9676, 9681, 9687, 9692  },
{ 9668, 9672, 9676, 9680, 9685, 9690, 9696  },
{ 9672, 9675, 9679, 9684, 9689, 9694, 9700  },
{ 9675, 9679, 9683, 9688, 9693, 9698, 9704  },
{ 9679, 9683, 9687, 9691, 9696, 9702, 9707  },
{ 9683, 9687, 9691, 9695, 9700, 9705, 9711  },
{ 9687, 9690, 9694, 9699, 9704, 9709, 9715  },
{ 9690, 9694, 9698, 9703, 9707, 9713, 9718  },
{ 9694, 9698, 9702, 9706, 9711, 9716, 9722  },
{ 9698, 9702, 9706, 9710, 9715, 9720, 9726  },
{ 9702, 9705, 9709, 9714, 9719, 9724, 9729  },
{ 9705, 9709, 9713, 9717, 9722, 9727, 9733  },
{ 9709, 9713, 9717, 9721, 9726, 9731, 9737  },
{ 9713, 9716, 9720, 9725, 9730, 9735, 9740  },
{ 9716, 9720, 9724, 9729, 9733, 9739, 9744  },
{ 9720, 9724, 9728, 9732, 9737, 9742, 9748  },
{ 9724, 9727, 9731, 9736, 9741, 9746, 9752  },
{ 9727, 9731, 9735, 9740, 9744, 9750, 9755  },
{ 9731, 9735, 9739, 9743, 9748, 9753, 9759  },
{ 9735, 9739, 9743, 9747, 9752, 9757, 9762  },
{ 9739, 9742, 9746, 9751, 9755, 9761, 9766  },
{ 9742, 9746, 9750, 9754, 9759, 9764, 9770  },
{ 9746, 9750, 9754, 9758, 9763, 9768, 9773  },
{ 9750, 9753, 9757, 9762, 9766, 9771, 9777  },
{ 9753, 9757, 9761, 9765, 9770, 9775, 9781  },
{ 9757, 9761, 9765, 9769, 9774, 9779, 9784  },
{ 9761, 9764, 9768, 9773, 9777, 9782, 9788  },
{ 9764, 9768, 9772, 9776, 9781, 9786, 9792  },
{ 9768, 9771, 9775, 9780, 9785, 9790, 9795  },
{ 9772, 9775, 9779, 9783, 9788, 9793, 9799  },
{ 9775, 9779, 9783, 9787, 9792, 9797, 9802  },
{ 9779, 9782, 9786, 9791, 9795, 9801, 9806  },
{ 9782, 9786, 9790, 9794, 9799, 9804, 9810  },
{ 9786, 9790, 9794, 9798, 9803, 9808, 9813  },
{ 9790, 9793, 9797, 9802, 9806, 9811, 9817  },
{ 9793, 9797, 9801, 9805, 9810, 9815, 9821  },
{ 9797, 9801, 9804, 9809, 9813, 9819, 9824  },
{ 9801, 9804, 9808, 9812, 9817, 9822, 9828  },
{ 9804, 9808, 9812, 9816, 9821, 9826, 9831  },
{ 9808, 9811, 9815, 9820, 9824, 9829, 9835  },
{ 9811, 9815, 9819, 9823, 9828, 9833, 9838  },
{ 9815, 9819, 9823, 9827, 9831, 9837, 9842  },
{ 9819, 9822, 9826, 9830, 9835, 9840, 9846  },
{ 9822, 9826, 9830, 9834, 9839, 9844, 9849  },
{ 9826, 9829, 9833, 9838, 9842, 9847, 9853  },
{ 9829, 9833, 9837, 9841, 9846, 9851, 9856  },
{ 9833, 9837, 9840, 9845, 9849, 9854, 9860  },
{ 9837, 9840, 9844, 9848, 9853, 9858, 9863  },
{ 9840, 9844, 9848, 9852, 9857, 9862, 9867  },
{ 9844, 9847, 9851, 9855, 9860, 9865, 9871  },
{ 9847, 9851, 9855, 9859, 9864, 9869, 9874  },
{ 9851, 9854, 9858, 9863, 9867, 9872, 9878  },
{ 9854, 9858, 9862, 9866, 9871, 9876, 9881  },
{ 9858, 9862, 9865, 9870, 9874, 9879, 9885  },
{ 9862, 9865, 9869, 9873, 9878, 9883, 9888  },
{ 9865, 9869, 9873, 9877, 9881, 9886, 9892  },
{ 9869, 9872, 9876, 9880, 9885, 9890, 9895  },
{ 9872, 9876, 9880, 9884, 9888, 9893, 9899  },
{ 9876, 9879, 9883, 9887, 9892, 9897, 9902  },
{ 9879, 9883, 9887, 9891, 9896, 9900, 9906  },
{ 9883, 9886, 9890, 9894, 9899, 9904, 9909  },
{ 9886, 9890, 9894, 9898, 9903, 9908, 9913  },
{ 9890, 9893, 9897, 9901, 9906, 9911, 9916  },
{ 9893, 9897, 9901, 9905, 9910, 9915, 9920  },
{ 9897, 9900, 9904, 9909, 9913, 9918, 9923  },
{ 9901, 9904, 9908, 9912, 9917, 9922, 9927  },
{ 9904, 9908, 9911, 9916, 9920, 9925, 9930  },
{ 9908, 9911, 9915, 9919, 9924, 9929, 9934  },
{ 9911, 9915, 9918, 9923, 9927, 9932, 9937  },
{ 9915, 9918, 9922, 9926, 9931, 9936, 9941  },
{ 9918, 9922, 9925, 9930, 9934, 9939, 9944  },
{ 9922, 9925, 9929, 9933, 9938, 9943, 9948  },
{ 9925, 9929, 9932, 9937, 9941, 9946, 9951  },
{ 9929, 9932, 9936, 9940, 9945, 9949, 9955  },
{ 9932, 9936, 9939, 9943, 9948, 9953, 9958  },
{ 9936, 9939, 9943, 9947, 9951, 9956, 9962  },
{ 9939, 9943, 9946, 9950, 9955, 9960, 9965  },
{ 9943, 9946, 9950, 9954, 9958, 9963, 9969  },
{ 9946, 9949, 9953, 9957, 9962, 9967, 9972  },
{ 9949, 9953, 9957, 9961, 9965, 9970, 9976  },
{ 9953, 9956, 9960, 9964, 9969, 9974, 9979  },
{ 9956, 9960, 9964, 9968, 9972, 9977, 9982  },
{ 9960, 9963, 9967, 9971, 9976, 9981, 9986  },
{ 9963, 9967, 9971, 9975, 9979, 9984, 9989  },
{ 9967, 9970, 9974, 9978, 9983, 9987, 9993  },
{ 9970, 9974, 9977, 9982, 9986, 9991, 9996  },
{ 9974, 9977, 9981, 9985, 9990, 9994, 10000 },
{ 9977, 9981, 9984, 9988, 9993, 9998, 10003 },
{ 9981, 9984, 9988, 9992, 9996, 10001,  10006 },
{ 9984, 9988, 9991, 9995, 10000,  10005,  10010 },
{ 9988, 9991, 9995, 9999, 10003,  10008,  10013 },
{ 9991, 9994, 9998, 10002,  10007,  10011,  10017 },
{ 9994, 9998, 10002,  10006,  10010,  10015,  10020 },
{ 9998, 10001,  10005,  10009,  10013,  10018,  10024 },
{ 10001,  10005,  10008,  10012,  10017,  10022,  10027 },
{ 10005,  10008,  10012,  10016,  10020,  10025,  10030 },
{ 10008,  10012,  10015,  10019,  10024,  10029,  10034 },
{ 10012,  10015,  10019,  10023,  10027,  10032,  10037 },
{ 10015,  10018,  10022,  10026,  10031,  10035,  10041 },
{ 10018,  10022,  10025,  10030,  10034,  10039,  10044 },
{ 10022,  10025,  10029,  10033,  10037,  10042,  10047 },
{ 10025,  10029,  10032,  10036,  10041,  10046,  10051 },
{ 10029,  10032,  10036,  10040,  10044,  10049,  10054 },
{ 10032,  10035,  10039,  10043,  10047,  10052,  10057 },
{ 10035,  10039,  10042,  10046,  10051,  10056,  10061 },
{ 10039,  10042,  10046,  10050,  10054,  10059,  10064 },
{ 10042,  10046,  10049,  10053,  10058,  10062,  10068 },
{ 10046,  10049,  10053,  10057,  10061,  10066,  10071 },
{ 10049,  10052,  10056,  10060,  10064,  10069,  10074 },
{ 10052,  10056,  10059,  10063,  10068,  10073,  10078 },
{ 10056,  10059,  10063,  10067,  10071,  10076,  10081 },
{ 10059,  10062,  10066,  10070,  10074,  10079,  10084 },
{ 10062,  10066,  10069,  10073,  10078,  10083,  10088 },
{ 10066,  10069,  10073,  10077,  10081,  10086,  10091 },
{ 10069,  10073,  10076,  10080,  10085,  10089,  10094 },
{ 10073,  10076,  10080,  10084,  10088,  10093,  10098 },
{ 10076,  10079,  10083,  10087,  10091,  10096,  10101 },
{ 10079,  10083,  10086,  10090,  10095,  10099,  10104 },
{ 10083,  10086,  10090,  10094,  10098,  10103,  10108 },
{ 10086,  10089,  10093,  10097,  10101,  10106,  10111 },
{ 10089,  10093,  10096,  10100,  10105,  10109,  10114 },
{ 10093,  10096,  10100,  10104,  10108,  10113,  10118 },
{ 10096,  10099,  10103,  10107,  10111,  10116,  10121 },
{ 10099,  10103,  10106,  10110,  10115,  10119,  10124 },
{ 10103,  10106,  10110,  10114,  10118,  10123,  10128 },
{ 10106,  10109,  10113,  10117,  10121,  10126,  10131 },
{ 10109,  10113,  10116,  10120,  10125,  10129,  10134 },
{ 10113,  10116,  10120,  10124,  10128,  10133,  10138 },
{ 10116,  10119,  10123,  10127,  10131,  10136,  10141 },
{ 10119,  10123,  10126,  10130,  10134,  10139,  10144 },
{ 10123,  10126,  10130,  10134,  10138,  10142,  10148 },
{ 10126,  10129,  10133,  10137,  10141,  10146,  10151 },
{ 10129,  10133,  10136,  10140,  10144,  10149,  10154 },
{ 10133,  10136,  10139,  10143,  10148,  10152,  10157 },
{ 10136,  10139,  10143,  10147,  10151,  10156,  10161 },
{ 10139,  10142,  10146,  10150,  10154,  10159,  10164 },
{ 10143,  10146,  10149,  10153,  10158,  10162,  10167 },
{ 10146,  10149,  10153,  10157,  10161,  10166,  10171 },
{ 10149,  10152,  10156,  10160,  10164,  10169,  10174 },
{ 10152,  10156,  10159,  10163,  10167,  10172,  10177 },
{ 10156,  10159,  10163,  10166,  10171,  10175,  10180 },
{ 10159,  10162,  10166,  10170,  10174,  10179,  10184 },
{ 10162,  10166,  10169,  10173,  10177,  10182,  10187 },
{ 10166,  10169,  10172,  10176,  10181,  10185,  10190 },
{ 10169,  10172,  10176,  10180,  10184,  10188,  10193 },
{ 10172,  10175,  10179,  10183,  10187,  10192,  10197 },
{ 10175,  10179,  10182,  10186,  10190,  10195,  10200 },
{ 10179,  10182,  10185,  10189,  10194,  10198,  10203 },
{ 10182,  10185,  10189,  10193,  10197,  10201,  10206 },
{ 10185,  10188,  10192,  10196,  10200,  10205,  10210 },
{ 10188,  10192,  10195,  10199,  10203,  10208,  10213 },
{ 10192,  10195,  10198,  10202,  10207,  10211,  10216 },
{ 10195,  10198,  10202,  10206,  10210,  10214,  10219 },
{ 10198,  10201,  10205,  10209,  10213,  10218,  10223 },
{ 10201,  10205,  10208,  10212,  10216,  10221,  10226 },
{ 10205,  10208,  10211,  10215,  10220,  10224,  10229 },
{ 10208,  10211,  10215,  10219,  10223,  10227,  10232 },
{ 10211,  10214,  10218,  10222,  10226,  10231,  10236 },
{ 10214,  10218,  10221,  10225,  10229,  10234,  10239 },
{ 10218,  10221,  10224,  10228,  10232,  10237,  10242 },
{ 10221,  10224,  10228,  10231,  10236,  10240,  10245 },
{ 10224,  10227,  10231,  10235,  10239,  10243,  10248 },
{ 10227,  10231,  10234,  10238,  10242,  10247,  10252 },
{ 10231,  10234,  10237,  10241,  10245,  10250,  10255 },
{ 10234,  10237,  10241,  10244,  10249,  10253,  10258 },
{ 10237,  10240,  10244,  10248,  10252,  10256,  10261 },
{ 10240,  10243,  10247,  10251,  10255,  10259,  10264 },
{ 10243,  10247,  10250,  10254,  10258,  10263,  10268 },
{ 10247,  10250,  10253,  10257,  10261,  10266,  10271 },
{ 10250,  10253,  10257,  10260,  10265,  10269,  10274 },
{ 10253,  10256,  10260,  10264,  10268,  10272,  10277 },
{ 10256,  10259,  10263,  10267,  10271,  10275,  10280 },
{ 10260,  10263,  10266,  10270,  10274,  10279,  10284 },
{ 10263,  10266,  10269,  10273,  10277,  10282,  10287 },
{ 10266,  10269,  10273,  10276,  10281,  10285,  10290 },
{ 10269,  10272,  10276,  10280,  10284,  10288,  10293 },
{ 10272,  10275,  10279,  10283,  10287,  10291,  10296 },
{ 10275,  10279,  10282,  10286,  10290,  10295,  10299 },
{ 10279,  10282,  10285,  10289,  10293,  10298,  10303 },
{ 10282,  10285,  10288,  10292,  10296,  10301,  10306 },
{ 10285,  10288,  10292,  10295,  10300,  10304,  10309 },
{ 10288,  10291,  10295,  10299,  10303,  10307,  10312 },
{ 10291,  10295,  10298,  10302,  10306,  10310,  10315 },
{ 10295,  10298,  10301,  10305,  10309,  10314,  10318 },
{ 10298,  10301,  10304,  10308,  10312,  10317,  10322 },
{ 10301,  10304,  10307,  10311,  10315,  10320,  10325 },
{ 10304,  10307,  10311,  10314,  10319,  10323,  10328 },
{ 10307,  10310,  10314,  10318,  10322,  10326,  10331 },
{ 10310,  10314,  10317,  10321,  10325,  10329,  10334 },
{ 10314,  10317,  10320,  10324,  10328,  10332,  10337 },
{ 10317,  10320,  10323,  10327,  10331,  10336,  10340 },
{ 10320,  10323,  10326,  10330,  10334,  10339,  10343 },
{ 10323,  10326,  10330,  10333,  10337,  10342,  10347 },
{ 10326,  10329,  10333,  10336,  10341,  10345,  10350 },
{ 10329,  10332,  10336,  10340,  10344,  10348,  10353 },
{ 10332,  10336,  10339,  10343,  10347,  10351,  10356 },
{ 10336,  10339,  10342,  10346,  10350,  10354,  10359 },
{ 10339,  10342,  10345,  10349,  10353,  10357,  10362 },
{ 10342,  10345,  10348,  10352,  10356,  10361,  10365 },
{ 10345,  10348,  10351,  10355,  10359,  10364,  10368 },
{ 10348,  10351,  10355,  10358,  10362,  10367,  10372 },
{ 10351,  10354,  10358,  10361,  10366,  10370,  10375 },
{ 10354,  10357,  10361,  10365,  10369,  10373,  10378 },
{ 10357,  10361,  10364,  10368,  10372,  10376,  10381 },
{ 10361,  10364,  10367,  10371,  10375,  10379,  10384 },
{ 10364,  10367,  10370,  10374,  10378,  10382,  10387 },
{ 10367,  10370,  10373,  10377,  10381,  10385,  10390 },
{ 10370,  10373,  10376,  10380,  10384,  10389,  10393 },
{ 10373,  10376,  10380,  10383,  10387,  10392,  10396 },
{ 10376,  10379,  10383,  10386,  10390,  10395,  10399 },
{ 10379,  10382,  10386,  10389,  10393,  10398,  10403 },
{ 10382,  10385,  10389,  10393,  10397,  10401,  10406 },
{ 10385,  10389,  10392,  10396,  10400,  10404,  10409 },
{ 10389,  10392,  10395,  10399,  10403,  10407,  10412 },
{ 10392,  10395,  10398,  10402,  10406,  10410,  10415 },
{ 10395,  10398,  10401,  10405,  10409,  10413,  10418 },
{ 10398,  10401,  10404,  10408,  10412,  10416,  10421 },
{ 10401,  10404,  10407,  10411,  10415,  10419,  10424 },
{ 10404,  10407,  10410,  10414,  10418,  10422,  10427 },
{ 10407,  10410,  10413,  10417,  10421,  10425,  10430 },
{ 10410,  10413,  10417,  10420,  10424,  10429,  10433 },
{ 10413,  10416,  10420,  10423,  10427,  10432,  10436 },
{ 10416,  10419,  10423,  10426,  10430,  10435,  10439 },
{ 10419,  10422,  10426,  10429,  10433,  10438,  10442 },
{ 10422,  10426,  10429,  10432,  10436,  10441,  10445 },
{ 10426,  10429,  10432,  10436,  10440,  10444,  10449 },
{ 10429,  10432,  10435,  10439,  10443,  10447,  10452 },
{ 10432,  10435,  10438,  10442,  10446,  10450,  10455 },
{ 10435,  10438,  10441,  10445,  10449,  10453,  10458 },
{ 10438,  10441,  10444,  10448,  10452,  10456,  10461 },
{ 10441,  10444,  10447,  10451,  10455,  10459,  10464 },
{ 10444,  10447,  10450,  10454,  10458,  10462,  10467 },
{ 10447,  10450,  10453,  10457,  10461,  10465,  10470 },
{ 10450,  10453,  10456,  10460,  10464,  10468,  10473 },
{ 10453,  10456,  10459,  10463,  10467,  10471,  10476 },
{ 10456,  10459,  10462,  10466,  10470,  10474,  10479 },
{ 10459,  10462,  10465,  10469,  10473,  10477,  10482 },
{ 10462,  10465,  10468,  10472,  10476,  10480,  10485 },
{ 10465,  10468,  10471,  10475,  10479,  10483,  10488 },
{ 10468,  10471,  10475,  10478,  10482,  10486,  10491 },
{ 10471,  10474,  10478,  10481,  10485,  10489,  10494 },
{ 10474,  10477,  10481,  10484,  10488,  10492,  10497 },
{ 10477,  10480,  10484,  10487,  10491,  10495,  10500 },
{ 10480,  10483,  10487,  10490,  10494,  10498,  10503 },
{ 10483,  10486,  10490,  10493,  10497,  10501,  10506 },
{ 10486,  10489,  10493,  10496,  10500,  10504,  10509 },
{ 10489,  10492,  10496,  10499,  10503,  10507,  10512 },
{ 10492,  10495,  10499,  10502,  10506,  10510,  10515 },
{ 10495,  10498,  10502,  10505,  10509,  10513,  10518 },
{ 10498,  10501,  10505,  10508,  10512,  10516,  10521 },
{ 10501,  10504,  10508,  10511,  10515,  10519,  10524 },
{ 10504,  10507,  10511,  10514,  10518,  10522,  10527 },
{ 10507,  10510,  10514,  10517,  10521,  10525,  10530 },
{ 10510,  10513,  10517,  10520,  10524,  10528,  10533 },
{ 10513,  10516,  10520,  10523,  10527,  10531,  10536 },
{ 10516,  10519,  10523,  10526,  10530,  10534,  10539 },
{ 10519,  10522,  10526,  10529,  10533,  10537,  10542 },
{ 10522,  10525,  10529,  10532,  10536,  10540,  10545 },
{ 10525,  10528,  10532,  10535,  10539,  10543,  10548 },
{ 10528,  10531,  10535,  10538,  10542,  10546,  10551 },
{ 10531,  10534,  10538,  10541,  10545,  10549,  10554 },
{ 10534,  10537,  10541,  10544,  10548,  10552,  10557 },
{ 10537,  10540,  10544,  10547,  10551,  10555,  10560 },
{ 10540,  10543,  10547,  10550,  10554,  10558,  10563 },
{ 10543,  10546,  10549,  10553,  10557,  10561,  10566 },
{ 10546,  10549,  10552,  10556,  10560,  10564,  10569 },
{ 10549,  10552,  10555,  10559,  10563,  10567,  10572 },
{ 10552,  10555,  10558,  10562,  10566,  10570,  10574 },
{ 10555,  10558,  10561,  10565,  10569,  10573,  10577 },
{ 10558,  10561,  10564,  10568,  10572,  10576,  10580 },
{ 10561,  10564,  10567,  10571,  10575,  10579,  10583 },
{ 10564,  10567,  10570,  10574,  10578,  10582,  10586 },
{ 10567,  10570,  10573,  10577,  10581,  10585,  10589 },
{ 10570,  10573,  10576,  10580,  10583,  10588,  10592 },
{ 10573,  10576,  10579,  10583,  10586,  10591,  10595 },
{ 10576,  10579,  10582,  10586,  10589,  10594,  10598 },
{ 10579,  10582,  10585,  10588,  10592,  10596,  10601 },
{ 10582,  10585,  10588,  10591,  10595,  10599,  10604 },
{ 10585,  10588,  10591,  10594,  10598,  10602,  10607 },
{ 10588,  10591,  10594,  10597,  10601,  10605,  10610 },
{ 10591,  10594,  10597,  10600,  10604,  10608,  10613 },
{ 10594,  10596,  10600,  10603,  10607,  10611,  10616 },
{ 10596,  10599,  10603,  10606,  10610,  10614,  10619 },
{ 10599,  10602,  10606,  10609,  10613,  10617,  10621 },
{ 10602,  10605,  10608,  10612,  10616,  10620,  10624 },
{ 10605,  10608,  10611,  10615,  10619,  10623,  10627 },
{ 10608,  10611,  10614,  10618,  10622,  10626,  10630 },
{ 10611,  10614,  10617,  10621,  10625,  10629,  10633 },
{ 10614,  10617,  10620,  10624,  10627,  10632,  10636 },
{ 10617,  10620,  10623,  10627,  10630,  10634,  10639 },
{ 10620,  10623,  10626,  10629,  10633,  10637,  10642 },
{ 10623,  10626,  10629,  10632,  10636,  10640,  10645 },
{ 10626,  10629,  10632,  10635,  10639,  10643,  10648 },
{ 10629,  10632,  10635,  10638,  10642,  10646,  10651 },
{ 10632,  10634,  10638,  10641,  10645,  10649,  10653 },
{ 10634,  10637,  10641,  10644,  10648,  10652,  10656 },
{ 10637,  10640,  10643,  10647,  10651,  10655,  10659 },
{ 10640,  10643,  10646,  10650,  10654,  10658,  10662 },
{ 10643,  10646,  10649,  10653,  10656,  10661,  10665 },
{ 10646,  10649,  10652,  10656,  10659,  10663,  10668 },
{ 10649,  10652,  10655,  10658,  10662,  10666,  10671 },
{ 10652,  10655,  10658,  10661,  10665,  10669,  10674 },
{ 10655,  10658,  10661,  10664,  10668,  10672,  10676 },
{ 10658,  10661,  10664,  10667,  10671,  10675,  10679 },
{ 10661,  10663,  10667,  10670,  10674,  10678,  10682 },
{ 10663,  10666,  10669,  10673,  10677,  10681,  10685 },
{ 10666,  10669,  10672,  10676,  10680,  10684,  10688 },
{ 10669,  10672,  10675,  10679,  10682,  10686,  10691 },
{ 10672,  10675,  10678,  10682,  10685,  10689,  10694 },
{ 10675,  10678,  10681,  10684,  10688,  10692,  10697 },
{ 10678,  10681,  10684,  10687,  10691,  10695,  10699 },
{ 10681,  10684,  10687,  10690,  10694,  10698,  10702 },
{ 10684,  10686,  10690,  10693,  10697,  10701,  10705 },
{ 10686,  10689,  10692,  10696,  10700,  10704,  10708 },
{ 10689,  10692,  10695,  10699,  10702,  10706,  10711 },
{ 10692,  10695,  10698,  10702,  10705,  10709,  10714 },
{ 10695,  10698,  10701,  10704,  10708,  10712,  10717 },
{ 10698,  10701,  10704,  10707,  10711,  10715,  10719 },
{ 10701,  10704,  10707,  10710,  10714,  10718,  10722 },
{ 10704,  10706,  10710,  10713,  10717,  10721,  10725 },
{ 10707,  10709,  10712,  10716,  10720,  10724,  10728 },
{ 10709,  10712,  10715,  10719,  10722,  10726,  10731 },
{ 10712,  10715,  10718,  10722,  10725,  10729,  10734 },
{ 10715,  10718,  10721,  10724,  10728,  10732,  10736 },
{ 10718,  10721,  10724,  10727,  10731,  10735,  10739 },
{ 10721,  10724,  10727,  10730,  10734,  10738,  10742 },
{ 10724,  10726,  10730,  10733,  10737,  10741,  10745 },
{ 10726,  10729,  10732,  10736,  10739,  10743,  10748 },
{ 10729,  10732,  10735,  10739,  10742,  10746,  10751 },
{ 10732,  10735,  10738,  10741,  10745,  10749,  10753 },
{ 10735,  10738,  10741,  10744,  10748,  10752,  10756 },
{ 10738,  10741,  10744,  10747,  10751,  10755,  10759 },
{ 10741,  10743,  10747,  10750,  10754,  10758,  10762 },
{ 10743,  10746,  10749,  10753,  10756,  10760,  10765 },
{ 10746,  10749,  10752,  10756,  10759,  10763,  10767 },
{ 10749,  10752,  10755,  10758,  10762,  10766,  10770 },
{ 10752,  10755,  10758,  10761,  10765,  10769,  10773 },
{ 10755,  10758,  10761,  10764,  10768,  10772,  10776 },
{ 10758,  10760,  10763,  10767,  10770,  10774,  10779 },
{ 10760,  10763,  10766,  10770,  10773,  10777,  10782 },
{ 10763,  10766,  10769,  10772,  10776,  10780,  10784 },
{ 10766,  10769,  10772,  10775,  10779,  10783,  10787 },
{ 10769,  10772,  10775,  10778,  10782,  10786,  10790 },
{ 10772,  10774,  10777,  10781,  10784,  10788,  10793 },
{ 10774,  10777,  10780,  10784,  10787,  10791,  10796 },
{ 10777,  10780,  10783,  10786,  10790,  10794,  10798 },
{ 10780,  10783,  10786,  10789,  10793,  10797,  10801 },
{ 10783,  10786,  10789,  10792,  10796,  10800,  10804 },
{ 10786,  10788,  10791,  10795,  10798,  10802,  10807 },
{ 10788,  10791,  10794,  10798,  10801,  10805,  10809 },
{ 10791,  10794,  10797,  10800,  10804,  10808,  10812 },
{ 10794,  10797,  10800,  10803,  10807,  10811,  10815 },
{ 10797,  10800,  10803,  10806,  10810,  10814,  10818 },
{ 10800,  10802,  10805,  10809,  10812,  10816,  10821 },
{ 10802,  10805,  10808,  10812,  10815,  10819,  10823 },
{ 10805,  10808,  10811,  10814,  10818,  10822,  10826 },
{ 10808,  10811,  10814,  10817,  10821,  10825,  10829 },
{ 10811,  10814,  10817,  10820,  10823,  10827,  10832 },
{ 10814,  10816,  10819,  10823,  10826,  10830,  10834 },
{ 10816,  10819,  10822,  10825,  10829,  10833,  10837 },
{ 10819,  10822,  10825,  10828,  10832,  10836,  10840 },
{ 10822,  10825,  10828,  10831,  10835,  10838,  10843 },
{ 10825,  10827,  10830,  10834,  10837,  10841,  10845 },
{ 10827,  10830,  10833,  10836,  10840,  10844,  10848 },
{ 10830,  10833,  10836,  10839,  10843,  10847,  10851 },
{ 10833,  10836,  10839,  10842,  10846,  10850,  10854 },
{ 10836,  10838,  10841,  10845,  10848,  10852,  10856 },
{ 10838,  10841,  10844,  10848,  10851,  10855,  10859 },
{ 10841,  10844,  10847,  10850,  10854,  10858,  10862 },
{ 10844,  10847,  10850,  10853,  10857,  10861,  10865 },
{ 10847,  10850,  10853,  10856,  10859,  10863,  10867 },
{ 10850,  10852,  10855,  10859,  10862,  10866,  10870 },
{ 10852,  10855,  10858,  10861,  10865,  10869,  10873 },
{ 10855,  10858,  10861,  10864,  10868,  10871,  10876 },
{ 10858,  10861,  10864,  10867,  10870,  10874,  10878 },
{ 10861,  10863,  10866,  10870,  10873,  10877,  10881 },
{ 10863,  10866,  10869,  10872,  10876,  10880,  10884 },
{ 10866,  10869,  10872,  10875,  10879,  10882,  10887 },
{ 10869,  10872,  10874,  10878,  10881,  10885,  10889 },
{ 10872,  10874,  10877,  10880,  10884,  10888,  10892 },
{ 10874,  10877,  10880,  10883,  10887,  10891,  10895 },
{ 10877,  10880,  10883,  10886,  10890,  10893,  10898 },
{ 10880,  10882,  10885,  10889,  10892,  10896,  10900 },
{ 10882,  10885,  10888,  10891,  10895,  10899,  10903 },
{ 10885,  10888,  10891,  10894,  10898,  10902,  10906 },
{ 10888,  10891,  10894,  10897,  10900,  10904,  10908 },
{ 10891,  10893,  10896,  10900,  10903,  10907,  10911 },
{ 10893,  10896,  10899,  10902,  10906,  10910,  10914 },
{ 10896,  10899,  10902,  10905,  10909,  10912,  10917 },
{ 10899,  10902,  10905,  10908,  10911,  10915,  10919 },
{ 10902,  10904,  10907,  10910,  10914,  10918,  10922 },
{ 10904,  10907,  10910,  10913,  10917,  10921,  10925 },
{ 10907,  10910,  10913,  10916,  10919,  10923,  10927 },
{ 10910,  10912,  10915,  10919,  10922,  10926,  10930 },
{ 10912,  10915,  10918,  10921,  10925,  10929,  10933 },
{ 10915,  10918,  10921,  10924,  10928,  10931,  10935 },
{ 10918,  10921,  10923,  10927,  10930,  10934,  10938 },
{ 10921,  10923,  10926,  10929,  10933,  10937,  10941 },
{ 10923,  10926,  10929,  10932,  10936,  10939,  10944 },
{ 10926,  10929,  10932,  10935,  10938,  10942,  10946 },
{ 10929,  10931,  10934,  10938,  10941,  10945,  10949 },
{ 10931,  10934,  10937,  10940,  10944,  10948,  10952 },
{ 10934,  10937,  10940,  10943,  10946,  10950,  10954 },
{ 10937,  10939,  10942,  10946,  10949,  10953,  10957 },
{ 10939,  10942,  10945,  10948,  10952,  10956,  10960 },
{ 10942,  10945,  10948,  10951,  10954,  10958,  10962 },
{ 10945,  10948,  10950,  10954,  10957,  10961,  10965 },
{ 10948,  10950,  10953,  10956,  10960,  10964,  10968 },
{ 10950,  10953,  10956,  10959,  10963,  10966,  10970 },
{ 10953,  10956,  10959,  10962,  10965,  10969,  10973 },
{ 10956,  10958,  10961,  10964,  10968,  10972,  10976 },
{ 10958,  10961,  10964,  10967,  10971,  10974,  10978 },
{ 10961,  10964,  10967,  10970,  10973,  10977,  10981 },
{ 10964,  10966,  10969,  10972,  10976,  10980,  10984 },
{ 10966,  10969,  10972,  10975,  10979,  10982,  10986 },
{ 10969,  10972,  10975,  10978,  10981,  10985,  10989 },
{ 10972,  10974,  10977,  10980,  10984,  10988,  10992 },
{ 10974,  10977,  10980,  10983,  10987,  10990,  10994 },
{ 10977,  10980,  10983,  10986,  10989,  10993,  10997 },
{ 10980,  10982,  10985,  10988,  10992,  10996,  11000 },
{ 10982,  10985,  10988,  10991,  10995,  10998,  11002 },
{ 10985,  10988,  10991,  10994,  10997,  11001,  11005 },
{ 10988,  10990,  10993,  10996,  11000,  11004,  11008 },
{ 10990,  10993,  10996,  10999,  11003,  11006,  11010 },
{ 10993,  10996,  10999,  11002,  11005,  11009,  11013 },
{ 10996,  10998,  11001,  11004,  11008,  11012,  11016 },
{ 10998,  11001,  11004,  11007,  11010,  11014,  11018 },
{ 11001,  11004,  11007,  11010,  11013,  11017,  11021 },
{ 11004,  11006,  11009,  11012,  11016,  11020,  11024 },
{ 11006,  11009,  11012,  11015,  11018,  11022,  11026 },
{ 11009,  11012,  11014,  11018,  11021,  11025,  11029 },
{ 11012,  11014,  11017,  11020,  11024,  11027,  11031 },
{ 11014,  11017,  11020,  11023,  11026,  11030,  11034 },
{ 11017,  11020,  11022,  11026,  11029,  11033,  11037 },
{ 11020,  11022,  11025,  11028,  11032,  11035,  11039 },
{ 11022,  11025,  11028,  11031,  11034,  11038,  11042 },
{ 11025,  11027,  11030,  11033,  11037,  11041,  11045 },
{ 11027,  11030,  11033,  11036,  11040,  11043,  11047 },
{ 11030,  11033,  11036,  11039,  11042,  11046,  11050 },
{ 11033,  11035,  11038,  11041,  11045,  11048,  11053 },
{ 11035,  11038,  11041,  11044,  11047,  11051,  11055 },
{ 11038,  11041,  11043,  11047,  11050,  11054,  11058 },
{ 11041,  11043,  11046,  11049,  11053,  11056,  11060 },
{ 11043,  11046,  11049,  11052,  11055,  11059,  11063 },
{ 11046,  11048,  11051,  11054,  11058,  11062,  11066 },
{ 11049,  11051,  11054,  11057,  11060,  11064,  11068 },
{ 11051,  11054,  11057,  11060,  11063,  11067,  11071 },
{ 11054,  11056,  11059,  11062,  11066,  11069,  11073 },
{ 11056,  11059,  11062,  11065,  11068,  11072,  11076 },
{ 11059,  11062,  11064,  11068,  11071,  11075,  11079 },
{ 11062,  11064,  11067,  11070,  11074,  11077,  11081 },
{ 11064,  11067,  11070,  11073,  11076,  11080,  11084 },
{ 11067,  11069,  11072,  11075,  11079,  11082,  11086 },
{ 11069,  11072,  11075,  11078,  11081,  11085,  11089 },
{ 11072,  11075,  11077,  11081,  11084,  11088,  11092 },
{ 11075,  11077,  11080,  11083,  11087,  11090,  11094 },
{ 11077,  11080,  11083,  11086,  11089,  11093,  11097 },
{ 11080,  11082,  11085,  11088,  11092,  11095,  11099 },
{ 11082,  11085,  11088,  11091,  11094,  11098,  11102 },
{ 11085,  11088,  11090,  11094,  11097,  11101,  11105 },
{ 11088,  11090,  11093,  11096,  11100,  11103,  11107 },
{ 11090,  11093,  11096,  11099,  11102,  11106,  11110 },
{ 11093,  11095,  11098,  11101,  11105,  11108,  11112 },
{ 11095,  11098,  11101,  11104,  11107,  11111,  11115 },
{ 11098,  11101,  11103,  11107,  11110,  11114,  11118 },
{ 11101,  11103,  11106,  11109,  11113,  11116,  11120 },
{ 11103,  11106,  11109,  11112,  11115,  11119,  11123 },
{ 11106,  11108,  11111,  11114,  11118,  11121,  11125 },
{ 11108,  11111,  11114,  11117,  11120,  11124,  11128 },
{ 11111,  11114,  11116,  11119,  11123,  11126,  11130 },
{ 11114,  11116,  11119,  11122,  11125,  11129,  11133 },
{ 11116,  11119,  11122,  11125,  11128,  11132,  11136 },
{ 11119,  11121,  11124,  11127,  11131,  11134,  11138 },
{ 11121,  11124,  11127,  11130,  11133,  11137,  11141 },
{ 11124,  11126,  11129,  11132,  11136,  11139,  11143 },
{ 11126,  11129,  11132,  11135,  11138,  11142,  11146 },
{ 11129,  11132,  11134,  11137,  11141,  11144,  11148 },
{ 11132,  11134,  11137,  11140,  11143,  11147,  11151 },
{ 11134,  11137,  11140,  11143,  11146,  11150,  11154 },
{ 11137,  11139,  11142,  11145,  11149,  11152,  11156 },
{ 11139,  11142,  11145,  11148,  11151,  11155,  11159 },
{ 11142,  11144,  11147,  11150,  11154,  11157,  11161 },
{ 11144,  11147,  11150,  11153,  11156,  11160,  11164 },
{ 11147,  11150,  11152,  11155,  11159,  11162,  11166 },
{ 11150,  11152,  11155,  11158,  11161,  11165,  11169 },
{ 11152,  11155,  11158,  11161,  11164,  11167,  11171 },
{ 11155,  11157,  11160,  11163,  11166,  11170,  11174 },
{ 11157,  11160,  11163,  11166,  11169,  11173,  11176 },
{ 11160,  11162,  11165,  11168,  11172,  11175,  11179 },
{ 11162,  11165,  11168,  11171,  11174,  11178,  11182 },
{ 11165,  11167,  11170,  11173,  11177,  11180,  11184 },
{ 11168,  11170,  11173,  11176,  11179,  11183,  11187 },
{ 11170,  11173,  11175,  11178,  11182,  11185,  11189 },
{ 11173,  11175,  11178,  11181,  11184,  11188,  11192 },
{ 11175,  11178,  11180,  11183,  11187,  11190,  11194 },
{ 11178,  11180,  11183,  11186,  11189,  11193,  11197 },
{ 11180,  11183,  11186,  11189,  11192,  11195,  11199 },
{ 11183,  11185,  11188,  11191,  11194,  11198,  11202 },
{ 11185,  11188,  11191,  11194,  11197,  11201,  11204 },
{ 11188,  11190,  11193,  11196,  11199,  11203,  11207 },
{ 11190,  11193,  11196,  11199,  11202,  11206,  11209 },
{ 11193,  11195,  11198,  11201,  11205,  11208,  11212 },
{ 11195,  11198,  11201,  11204,  11207,  11211,  11214 },
{ 11198,  11201,  11203,  11206,  11210,  11213,  11217 },
{ 11201,  11203,  11206,  11209,  11212,  11216,  11220 },
{ 11203,  11206,  11208,  11211,  11215,  11218,  11222 },
{ 11206,  11208,  11211,  11214,  11217,  11221,  11225 },
{ 11208,  11211,  11213,  11216,  11220,  11223,  11227 },
{ 11211,  11213,  11216,  11219,  11222,  11226,  11230 },
{ 11213,  11216,  11218,  11221,  11225,  11228,  11232 },
{ 11216,  11218,  11221,  11224,  11227,  11231,  11235 },
{ 11218,  11221,  11223,  11226,  11230,  11233,  11237 },
{ 11221,  11223,  11226,  11229,  11232,  11236,  11240 },
{ 11223,  11226,  11228,  11231,  11235,  11238,  11242 },
{ 11226,  11228,  11231,  11234,  11237,  11241,  11245 },
{ 11228,  11231,  11233,  11236,  11240,  11243,  11247 },
{ 11231,  11233,  11236,  11239,  11242,  11246,  11250 },
{ 11233,  11236,  11239,  11242,  11245,  11248,  11252 },
{ 11236,  11238,  11241,  11244,  11247,  11251,  11255 },
{ 11238,  11241,  11244,  11247,  11250,  11253,  11257 },
{ 11241,  11243,  11246,  11249,  11252,  11256,  11260 },
{ 11243,  11246,  11249,  11252,  11255,  11258,  11262 },
{ 11246,  11248,  11251,  11254,  11257,  11261,  11265 },
{ 11248,  11251,  11254,  11257,  11260,  11263,  11267 },
{ 11251,  11253,  11256,  11259,  11262,  11266,  11270 },
{ 11253,  11256,  11259,  11261,  11265,  11268,  11272 },
{ 11256,  11258,  11261,  11264,  11267,  11271,  11275 },
{ 11258,  11261,  11264,  11266,  11270,  11273,  11277 },
{ 11261,  11263,  11266,  11269,  11272,  11276,  11280 },
{ 11263,  11266,  11268,  11271,  11275,  11278,  11282 },
{ 11266,  11268,  11271,  11274,  11277,  11281,  11285 },
{ 11268,  11271,  11273,  11276,  11280,  11283,  11287 },
{ 11271,  11273,  11276,  11279,  11282,  11286,  11289 },
{ 11273,  11276,  11278,  11281,  11285,  11288,  11292 },
{ 11276,  11278,  11281,  11284,  11287,  11291,  11294 },
{ 11278,  11281,  11283,  11286,  11290,  11293,  11297 },
{ 11281,  11283,  11286,  11289,  11292,  11296,  11299 },
{ 11283,  11286,  11288,  11291,  11295,  11298,  11302 },
{ 11286,  11288,  11291,  11294,  11297,  11301,  11304 },
{ 11288,  11291,  11293,  11296,  11299,  11303,  11307 },
{ 11291,  11293,  11296,  11299,  11302,  11305,  11309 },
{ 11293,  11296,  11298,  11301,  11304,  11308,  11312 },
{ 11296,  11298,  11301,  11304,  11307,  11310,  11314 },
{ 11298,  11301,  11303,  11306,  11309,  11313,  11317 },
{ 11301,  11303,  11306,  11309,  11312,  11315,  11319 },
{ 11303,  11305,  11308,  11311,  11314,  11318,  11322 },
{ 11305,  11308,  11311,  11314,  11317,  11320,  11324 },
{ 11308,  11310,  11313,  11316,  11319,  11323,  11326 },
{ 11310,  11313,  11316,  11318,  11322,  11325,  11329 },
{ 11313,  11315,  11318,  11321,  11324,  11328,  11331 },
{ 11315,  11318,  11320,  11323,  11327,  11330,  11334 },
{ 11318,  11320,  11323,  11326,  11329,  11333,  11336 },
{ 11320,  11323,  11325,  11328,  11331,  11335,  11339 },
{ 11323,  11325,  11328,  11331,  11334,  11337,  11341 },
{ 11325,  11328,  11330,  11333,  11336,  11340,  11344 },
{ 11328,  11330,  11333,  11336,  11339,  11342,  11346 },
{ 11330,  11333,  11335,  11338,  11341,  11345,  11348 },
{ 11333,  11335,  11338,  11341,  11344,  11347,  11351 },
{ 11335,  11337,  11340,  11343,  11346,  11350,  11353 },
{ 11337,  11340,  11343,  11345,  11349,  11352,  11356 },
{ 11340,  11342,  11345,  11348,  11351,  11355,  11358 },
{ 11342,  11345,  11347,  11350,  11354,  11357,  11361 },
{ 11345,  11347,  11350,  11353,  11356,  11359,  11363 },
{ 11347,  11350,  11352,  11355,  11358,  11362,  11366 },
{ 11350,  11352,  11355,  11358,  11361,  11364,  11368 },
{ 11352,  11355,  11357,  11360,  11363,  11367,  11370 },
{ 11355,  11357,  11360,  11363,  11366,  11369,  11373 },
{ 11357,  11359,  11362,  11365,  11368,  11372,  11375 },
{ 11359,  11362,  11364,  11367,  11371,  11374,  11378 },
{ 11362,  11364,  11367,  11370,  11373,  11376,  11380 },
{ 11364,  11367,  11369,  11372,  11375,  11379,  11383 },
{ 11367,  11369,  11372,  11375,  11378,  11381,  11385 },
{ 11369,  11372,  11374,  11377,  11380,  11384,  11387 },
{ 11372,  11374,  11377,  11380,  11383,  11386,  11390 },
{ 11374,  11376,  11379,  11382,  11385,  11389,  11392 },
{ 11376,  11379,  11381,  11384,  11388,  11391,  11395 },
{ 11379,  11381,  11384,  11387,  11390,  11393,  11397 },
{ 11381,  11384,  11386,  11389,  11392,  11396,  11399 },
{ 11384,  11386,  11389,  11392,  11395,  11398,  11402 },
{ 11386,  11389,  11391,  11394,  11397,  11401,  11404 },
{ 11389,  11391,  11394,  11396,  11400,  11403,  11407 },
{ 11391,  11393,  11396,  11399,  11402,  11405,  11409 },
{ 11393,  11396,  11398,  11401,  11404,  11408,  11412 },
{ 11396,  11398,  11401,  11404,  11407,  11410,  11414 },
{ 11398,  11401,  11403,  11406,  11409,  11413,  11416 },
{ 11401,  11403,  11406,  11409,  11412,  11415,  11419 },
{ 11403,  11405,  11408,  11411,  11414,  11417,  11421 },
{ 11405,  11408,  11410,  11413,  11416,  11420,  11424 },
{ 11408,  11410,  11413,  11416,  11419,  11422,  11426 },
{ 11410,  11413,  11415,  11418,  11421,  11425,  11428 },
{ 11413,  11415,  11418,  11421,  11424,  11427,  11431 },
{ 11415,  11417,  11420,  11423,  11426,  11429,  11433 },
{ 11417,  11420,  11422,  11425,  11428,  11432,  11436 },
{ 11420,  11422,  11425,  11428,  11431,  11434,  11438 },
{ 11422,  11425,  11427,  11430,  11433,  11437,  11440 },
{ 11425,  11427,  11430,  11433,  11436,  11439,  11443 },
{ 11427,  11429,  11432,  11435,  11438,  11441,  11445 },
{ 11429,  11432,  11434,  11437,  11440,  11444,  11447 },
{ 11432,  11434,  11437,  11440,  11443,  11446,  11450 },
{ 11434,  11437,  11439,  11442,  11445,  11449,  11452 },
{ 11437,  11439,  11442,  11444,  11448,  11451,  11455 },
{ 11439,  11441,  11444,  11447,  11450,  11453,  11457 },
{ 11441,  11444,  11446,  11449,  11452,  11456,  11459 },
{ 11444,  11446,  11449,  11452,  11455,  11458,  11462 },
{ 11446,  11449,  11451,  11454,  11457,  11461,  11464 },
{ 11449,  11451,  11454,  11456,  11460,  11463,  11467 },
{ 11451,  11453,  11456,  11459,  11462,  11465,  11469 },
{ 11453,  11456,  11458,  11461,  11464,  11468,  11471 },
{ 11456,  11458,  11461,  11464,  11467,  11470,  11474 },
{ 11458,  11461,  11463,  11466,  11469,  11472,  11476 },
{ 11461,  11463,  11465,  11468,  11471,  11475,  11478 },
{ 11463,  11465,  11468,  11471,  11474,  11477,  11481 },
{ 11465,  11468,  11470,  11473,  11476,  11479,  11483 },
{ 11468,  11470,  11473,  11475,  11479,  11482,  11486 },
{ 11470,  11472,  11475,  11478,  11481,  11484,  11488 },
{ 11472,  11475,  11477,  11480,  11483,  11487,  11490 },
{ 11475,  11477,  11480,  11483,  11486,  11489,  11493 },
{ 11477,  11480,  11482,  11485,  11488,  11491,  11495 },
{ 11480,  11482,  11484,  11487,  11490,  11494,  11497 },
{ 11482,  11484,  11487,  11490,  11493,  11496,  11500 },
{ 11484,  11487,  11489,  11492,  11495,  11498,  11502 },
{ 11487,  11489,  11492,  11494,  11497,  11501,  11504 },
{ 11489,  11491,  11494,  11497,  11500,  11503,  11507 },
{ 11491,  11494,  11496,  11499,  11502,  11505,  11509 },
{ 11494,  11496,  11499,  11501,  11504,  11508,  11511 },
{ 11496,  11498,  11501,  11504,  11507,  11510,  11514 },
{ 11498,  11501,  11503,  11506,  11509,  11513,  11516 },
{ 11501,  11503,  11506,  11508,  11512,  11515,  11518 },
{ 11503,  11505,  11508,  11511,  11514,  11517,  11521 },
{ 11505,  11508,  11510,  11513,  11516,  11520,  11523 },
{ 11508,  11510,  11513,  11516,  11519,  11522,  11526 },
{ 11510,  11513,  11515,  11518,  11521,  11524,  11528 },
{ 11513,  11515,  11517,  11520,  11523,  11527,  11530 },
{ 11515,  11517,  11520,  11523,  11526,  11529,  11533 },
{ 11517,  11520,  11522,  11525,  11528,  11531,  11535 },
{ 11520,  11522,  11524,  11527,  11530,  11534,  11537 },
{ 11522,  11524,  11527,  11530,  11533,  11536,  11540 },
{ 11524,  11527,  11529,  11532,  11535,  11538,  11542 },
{ 11527,  11529,  11532,  11534,  11537,  11541,  11544 },
{ 11529,  11531,  11534,  11537,  11540,  11543,  11547 },
{ 11531,  11534,  11536,  11539,  11542,  11545,  11549 },
{ 11534,  11536,  11539,  11541,  11544,  11548,  11551 },
{ 11536,  11538,  11541,  11544,  11547,  11550,  11554 },
{ 11538,  11541,  11543,  11546,  11549,  11552,  11556 },
{ 11541,  11543,  11546,  11548,  11551,  11555,  11558 },
{ 11543,  11545,  11548,  11551,  11554,  11557,  11561 },
{ 11545,  11548,  11550,  11553,  11556,  11559,  11563 },
{ 11548,  11550,  11553,  11555,  11558,  11562,  11565 },
{ 11550,  11552,  11555,  11558,  11561,  11564,  11568 },
{ 11552,  11555,  11557,  11560,  11563,  11566,  11570 },
{ 11555,  11557,  11560,  11562,  11565,  11569,  11572 },
{ 11557,  11559,  11562,  11565,  11568,  11571,  11574 },
{ 11559,  11562,  11564,  11567,  11570,  11573,  11577 },
{ 11562,  11564,  11566,  11569,  11572,  11576,  11579 },
{ 11564,  11566,  11569,  11572,  11575,  11578,  11581 },
{ 11566,  11569,  11571,  11574,  11577,  11580,  11584 },
{ 11569,  11571,  11573,  11576,  11579,  11582,  11586 },
{ 11571,  11573,  11576,  11579,  11582,  11585,  11588 },
{ 11573,  11576,  11578,  11581,  11584,  11587,  11591 },
{ 11576,  11578,  11580,  11583,  11586,  11589,  11593 },
{ 11578,  11580,  11583,  11585,  11588,  11592,  11595 },
{ 11580,  11582,  11585,  11588,  11591,  11594,  11598 },
{ 11583,  11585,  11587,  11590,  11593,  11596,  11600 },
{ 11585,  11587,  11590,  11592,  11595,  11599,  11602 },
{ 11587,  11589,  11592,  11595,  11598,  11601,  11604 },
{ 11589,  11592,  11594,  11597,  11600,  11603,  11607 },
{ 11592,  11594,  11597,  11599,  11602,  11606,  11609 },
{ 11594,  11596,  11599,  11602,  11605,  11608,  11611 },
{ 11596,  11599,  11601,  11604,  11607,  11610,  11614 },
{ 11599,  11601,  11603,  11606,  11609,  11612,  11616 },
{ 11601,  11603,  11606,  11608,  11611,  11615,  11618 },
{ 11603,  11606,  11608,  11611,  11614,  11617,  11621 },
{ 11606,  11608,  11610,  11613,  11616,  11619,  11623 },
{ 11608,  11610,  11613,  11615,  11618,  11622,  11625 },
{ 11610,  11612,  11615,  11618,  11621,  11624,  11627 },
{ 11612,  11615,  11617,  11620,  11623,  11626,  11630 },
{ 11615,  11617,  11620,  11622,  11625,  11628,  11632 },
{ 11617,  11619,  11622,  11625,  11628,  11631,  11634 },
{ 11619,  11622,  11624,  11627,  11630,  11633,  11637 },
{ 11622,  11624,  11626,  11629,  11632,  11635,  11639 },
{ 11624,  11626,  11629,  11631,  11634,  11638,  11641 },
{ 11626,  11628,  11631,  11634,  11637,  11640,  11643 },
{ 11629,  11631,  11633,  11636,  11639,  11642,  11646 },
{ 11631,  11633,  11636,  11638,  11641,  11644,  11648 },
{ 11633,  11635,  11638,  11641,  11644,  11647,  11650 },
{ 11635,  11638,  11640,  11643,  11646,  11649,  11653 },
{ 11638,  11640,  11642,  11645,  11648,  11651,  11655 },
{ 11640,  11642,  11645,  11647,  11650,  11654,  11657 },
{ 11642,  11644,  11647,  11650,  11653,  11656,  11659 },
{ 11644,  11647,  11649,  11652,  11655,  11658,  11662 },
{ 11647,  11649,  11652,  11654,  11657,  11660,  11664 },
{ 11649,  11651,  11654,  11657,  11659,  11663,  11666 },
{ 11651,  11654,  11656,  11659,  11662,  11665,  11668 },
{ 11654,  11656,  11658,  11661,  11664,  11667,  11671 },
{ 11656,  11658,  11661,  11663,  11666,  11669,  11673 },
{ 11658,  11660,  11663,  11666,  11669,  11672,  11675 },
{ 11660,  11663,  11665,  11668,  11671,  11674,  11677 },
{ 11663,  11665,  11667,  11670,  11673,  11676,  11680 },
{ 11665,  11667,  11670,  11672,  11675,  11679,  11682 },
{ 11667,  11669,  11672,  11675,  11678,  11681,  11684 },
{ 11670,  11672,  11674,  11677,  11680,  11683,  11687 },
{ 11672,  11674,  11676,  11679,  11682,  11685,  11689 },
{ 11674,  11676,  11679,  11681,  11684,  11688,  11691 },
{ 11676,  11679,  11681,  11684,  11687,  11690,  11693 },
{ 11679,  11681,  11683,  11686,  11689,  11692,  11696 },
{ 11681,  11683,  11686,  11688,  11691,  11694,  11698 },
{ 11683,  11685,  11688,  11690,  11693,  11697,  11700 },
{ 11685,  11688,  11690,  11693,  11696,  11699,  11702 },
{ 11688,  11690,  11692,  11695,  11698,  11701,  11705 },
{ 11690,  11692,  11695,  11697,  11700,  11703,  11707 },
{ 11692,  11694,  11697,  11699,  11702,  11706,  11709 },
{ 11694,  11697,  11699,  11702,  11705,  11708,  11711 },
{ 11697,  11699,  11701,  11704,  11707,  11710,  11714 },
{ 11699,  11701,  11704,  11706,  11709,  11712,  11716 },
{ 11701,  11703,  11706,  11708,  11711,  11715,  11718 },
{ 11703,  11706,  11708,  11711,  11714,  11717,  11720 },
{ 11706,  11708,  11710,  11713,  11716,  11719,  11723 },
{ 11708,  11710,  11713,  11715,  11718,  11721,  11725 },
{ 11710,  11712,  11715,  11717,  11720,  11724,  11727 },
{ 11712,  11715,  11717,  11720,  11723,  11726,  11729 },
{ 11715,  11717,  11719,  11722,  11725,  11728,  11731 },
{ 11717,  11719,  11722,  11724,  11727,  11730,  11734 },
{ 11719,  11721,  11724,  11726,  11729,  11732,  11736 },
{ 11721,  11724,  11726,  11729,  11732,  11735,  11738 },
{ 11724,  11726,  11728,  11731,  11734,  11737,  11740 },
{ 11726,  11728,  11730,  11733,  11736,  11739,  11743 },
{ 11728,  11730,  11733,  11735,  11738,  11741,  11745 },
{ 11730,  11733,  11735,  11738,  11741,  11744,  11747 },
{ 11733,  11735,  11737,  11740,  11743,  11746,  11749 },
{ 11735,  11737,  11739,  11742,  11745,  11748,  11752 },
{ 11737,  11739,  11742,  11744,  11747,  11750,  11754 },
{ 11739,  11741,  11744,  11747,  11749,  11753,  11756 },
{ 11741,  11744,  11746,  11749,  11752,  11755,  11758 },
{ 11744,  11746,  11748,  11751,  11754,  11757,  11760 },
{ 11746,  11748,  11751,  11753,  11756,  11759,  11763 },
{ 11748,  11750,  11753,  11755,  11758,  11761,  11765 },
{ 11750,  11753,  11755,  11758,  11761,  11764,  11767 },
{ 11753,  11755,  11757,  11760,  11763,  11766,  11769 },
{ 11755,  11757,  11759,  11762,  11765,  11768,  11772 },
{ 11757,  11759,  11762,  11764,  11767,  11770,  11774 },
{ 11759,  11761,  11764,  11767,  11769,  11773,  11776 },
{ 11761,  11764,  11766,  11769,  11772,  11775,  11778 },
{ 11764,  11766,  11768,  11771,  11774,  11777,  11780 },
{ 11766,  11768,  11771,  11773,  11776,  11779,  11783 },
{ 11768,  11770,  11773,  11775,  11778,  11781,  11785 },
{ 11770,  11773,  11775,  11778,  11780,  11784,  11787 },
{ 11773,  11775,  11777,  11780,  11783,  11786,  11789 },
{ 11775,  11777,  11779,  11782,  11785,  11788,  11791 },
{ 11777,  11779,  11782,  11784,  11787,  11790,  11794 },
{ 11779,  11781,  11784,  11786,  11789,  11792,  11796 },
{ 11781,  11784,  11786,  11789,  11792,  11795,  11798 },
{ 11784,  11786,  11788,  11791,  11794,  11797,  11800 },
{ 11786,  11788,  11790,  11793,  11796,  11799,  11802 },
{ 11788,  11790,  11793,  11795,  11798,  11801,  11805 },
{ 11790,  11792,  11795,  11797,  11800,  11803,  11807 },
{ 11792,  11795,  11797,  11800,  11803,  11806,  11809 },
{ 11795,  11797,  11799,  11802,  11805,  11808,  11811 },
{ 11797,  11799,  11801,  11804,  11807,  11810,  11813 },
{ 11799,  11801,  11804,  11806,  11809,  11812,  11816 },
{ 11801,  11803,  11806,  11808,  11811,  11814,  11818 },
{ 11803,  11806,  11808,  11811,  11813,  11817,  11820 },
{ 11806,  11808,  11810,  11813,  11816,  11819,  11822 },
{ 11808,  11810,  11812,  11815,  11818,  11821,  11824 },
{ 11810,  11812,  11815,  11817,  11820,  11823,  11827 },
{ 11812,  11814,  11817,  11819,  11822,  11825,  11829 },
{ 11814,  11817,  11819,  11822,  11824,  11828,  11831 },
{ 11817,  11819,  11821,  11824,  11827,  11830,  11833 },
{ 11819,  11821,  11823,  11826,  11829,  11832,  11835 },
{ 11821,  11823,  11826,  11828,  11831,  11834,  11837 },
{ 11823,  11825,  11828,  11830,  11833,  11836,  11840 },
{ 11825,  11828,  11830,  11833,  11835,  11838,  11842 },
{ 11828,  11830,  11832,  11835,  11838,  11841,  11844 },
{ 11830,  11832,  11834,  11837,  11840,  11843,  11846 },
{ 11832,  11834,  11836,  11839,  11842,  11845,  11848 },
{ 11834,  11836,  11839,  11841,  11844,  11847,  11851 },
{ 11836,  11838,  11841,  11843,  11846,  11849,  11853 },
{ 11838,  11841,  11843,  11846,  11848,  11852,  11855 },
{ 11841,  11843,  11845,  11848,  11851,  11854,  11857 },
{ 11843,  11845,  11847,  11850,  11853,  11856,  11859 },
{ 11845,  11847,  11850,  11852,  11855,  11858,  11861 },
{ 11847,  11849,  11852,  11854,  11857,  11860,  11864 },
{ 11849,  11852,  11854,  11856,  11859,  11862,  11866 },
{ 11852,  11854,  11856,  11859,  11861,  11865,  11868 },
{ 11854,  11856,  11858,  11861,  11864,  11867,  11870 },
{ 11856,  11858,  11860,  11863,  11866,  11869,  11872 },
{ 11858,  11860,  11863,  11865,  11868,  11871,  11874 },
{ 11860,  11862,  11865,  11867,  11870,  11873,  11877 },
{ 11862,  11865,  11867,  11870,  11872,  11875,  11879 },
{ 11865,  11867,  11869,  11872,  11874,  11878,  11881 },
{ 11867,  11869,  11871,  11874,  11877,  11880,  11883 },
{ 11869,  11871,  11873,  11876,  11879,  11882,  11885 },
{ 11871,  11873,  11876,  11878,  11881,  11884,  11887 },
{ 11873,  11875,  11878,  11880,  11883,  11886,  11889 },
{ 11875,  11878,  11880,  11882,  11885,  11888,  11892 },
{ 11878,  11880,  11882,  11885,  11887,  11891,  11894 },
{ 11880,  11882,  11884,  11887,  11890,  11893,  11896 },
{ 11882,  11884,  11886,  11889,  11892,  11895,  11898 },
{ 11884,  11886,  11889,  11891,  11894,  11897,  11900 },
{ 11886,  11888,  11891,  11893,  11896,  11899,  11902 },
{ 11888,  11891,  11893,  11895,  11898,  11901,  11905 },
{ 11891,  11893,  11895,  11898,  11900,  11903,  11907 },
{ 11893,  11895,  11897,  11900,  11903,  11906,  11909 },
{ 11895,  11897,  11899,  11902,  11905,  11908,  11911 },
{ 11897,  11899,  11901,  11904,  11907,  11910,  11913 },
{ 11899,  11901,  11904,  11906,  11909,  11912,  11915 },
{ 11901,  11903,  11906,  11908,  11911,  11914,  11917 },
{ 11903,  11906,  11908,  11910,  11913,  11916,  11920 },
{ 11906,  11908,  11910,  11913,  11915,  11918,  11922 },
{ 11908,  11910,  11912,  11915,  11918,  11921,  11924 },
{ 11910,  11912,  11914,  11917,  11920,  11923,  11926 },
{ 11912,  11914,  11916,  11919,  11922,  11925,  11928 },
{ 11914,  11916,  11919,  11921,  11924,  11927,  11930 },
{ 11916,  11918,  11921,  11923,  11926,  11929,  11932 },
{ 11918,  11921,  11923,  11925,  11928,  11931,  11935 },
{ 11921,  11923,  11925,  11928,  11930,  11933,  11937 },
{ 11923,  11925,  11927,  11930,  11933,  11936,  11939 },
{ 11925,  11927,  11929,  11932,  11935,  11938,  11941 },
{ 11927,  11929,  11931,  11934,  11937,  11940,  11943 },
{ 11929,  11931,  11934,  11936,  11939,  11942,  11945 },
{ 11931,  11933,  11936,  11938,  11941,  11944,  11947 },
{ 11933,  11936,  11938,  11940,  11943,  11946,  11949 },
{ 11936,  11938,  11940,  11943,  11945,  11948,  11952 },
{ 11938,  11940,  11942,  11945,  11947,  11950,  11954 },
{ 11940,  11942,  11944,  11947,  11950,  11953,  11956 },
{ 11942,  11944,  11946,  11949,  11952,  11955,  11958 },
{ 11944,  11946,  11949,  11951,  11954,  11957,  11960 },
{ 11946,  11948,  11951,  11953,  11956,  11959,  11962 },
{ 11948,  11950,  11953,  11955,  11958,  11961,  11964 },
{ 11950,  11953,  11955,  11957,  11960,  11963,  11966 },
{ 11953,  11955,  11957,  11960,  11962,  11965,  11969 },
{ 11955,  11957,  11959,  11962,  11964,  11967,  11971 },
{ 11957,  11959,  11961,  11964,  11967,  11970,  11973 },
{ 11959,  11961,  11963,  11966,  11969,  11972,  11975 },
{ 11961,  11963,  11966,  11968,  11971,  11974,  11977 },
{ 11963,  11965,  11968,  11970,  11973,  11976,  11979 },
{ 11965,  11967,  11970,  11972,  11975,  11978,  11981 },
{ 11967,  11970,  11972,  11974,  11977,  11980,  11983 },
{ 11970,  11972,  11974,  11977,  11979,  11982,  11985 },
{ 11972,  11974,  11976,  11979,  11981,  11984,  11988 },
{ 11974,  11976,  11978,  11981,  11983,  11986,  11990 },
{ 11976,  11978,  11980,  11983,  11986,  11989,  11992 },
{ 11978,  11980,  11982,  11985,  11988,  11991,  11994 },
{ 11980,  11982,  11985,  11987,  11990,  11993,  11996 },
{ 11982,  11984,  11987,  11989,  11992,  11995,  11998 },
{ 11984,  11986,  11989,  11991,  11994,  11997,  12000 },
{ 11986,  11989,  11991,  11993,  11996,  11999,  12002 },
{ 11989,  11991,  11993,  11995,  11998,  12001,  12004 },
{ 11991,  11993,  11995,  11998,  12000,  12003,  12007 },
{ 11993,  11995,  11997,  12000,  12002,  12005,  12009 },
{ 11995,  11997,  11999,  12002,  12005,  12008,  12011 },
{ 11997,  11999,  12001,  12004,  12007,  12010,  12013 },
{ 11999,  12001,  12004,  12006,  12009,  12012,  12015 },
{ 12001,  12003,  12006,  12008,  12011,  12014,  12017 },
{ 12003,  12005,  12008,  12010,  12013,  12016,  12019 },
{ 12005,  12008,  12010,  12012,  12015,  12018,  12021 },
{ 12008,  12010,  12012,  12014,  12017,  12020,  12023 },
{ 12010,  12012,  12014,  12016,  12019,  12022,  12025 },
{ 12012,  12014,  12016,  12019,  12021,  12024,  12027 },
{ 12014,  12016,  12018,  12021,  12023,  12026,  12030 },
{ 12016,  12018,  12020,  12023,  12026,  12028,  12032 },
{ 12018,  12020,  12022,  12025,  12028,  12031,  12034 },
{ 12020,  12022,  12024,  12027,  12030,  12033,  12036 },
{ 12022,  12024,  12027,  12029,  12032,  12035,  12038 },
{ 12024,  12026,  12029,  12031,  12034,  12037,  12040 },
{ 12026,  12028,  12031,  12033,  12036,  12039,  12042 },
{ 12028,  12031,  12033,  12035,  12038,  12041,  12044 },
{ 12031,  12033,  12035,  12037,  12040,  12043,  12046 },
{ 12033,  12035,  12037,  12039,  12042,  12045,  12048 },
{ 12035,  12037,  12039,  12042,  12044,  12047,  12050 },
{ 12037,  12039,  12041,  12044,  12046,  12049,  12053 },
{ 12039,  12041,  12043,  12046,  12048,  12051,  12055 },
{ 12041,  12043,  12045,  12048,  12051,  12053,  12057 },
{ 12043,  12045,  12047,  12050,  12053,  12056,  12059 },
{ 12045,  12047,  12050,  12052,  12055,  12058,  12061 },
{ 12047,  12049,  12052,  12054,  12057,  12060,  12063 },
{ 12049,  12051,  12054,  12056,  12059,  12062,  12065 },
{ 12051,  12053,  12056,  12058,  12061,  12064,  12067 },
{ 12053,  12056,  12058,  12060,  12063,  12066,  12069 },
{ 12056,  12058,  12060,  12062,  12065,  12068,  12071 },
{ 12058,  12060,  12062,  12064,  12067,  12070,  12073 },
{ 12060,  12062,  12064,  12067,  12069,  12072,  12075 },
{ 12062,  12064,  12066,  12069,  12071,  12074,  12077 },
{ 12064,  12066,  12068,  12071,  12073,  12076,  12079 },
{ 12066,  12068,  12070,  12073,  12075,  12078,  12082 },
{ 12068,  12070,  12072,  12075,  12077,  12080,  12084 },
{ 12070,  12072,  12074,  12077,  12080,  12082,  12086 },
{ 12072,  12074,  12076,  12079,  12082,  12085,  12088 },
{ 12074,  12076,  12079,  12081,  12084,  12087,  12090 },
{ 12076,  12078,  12081,  12083,  12086,  12089,  12092 },
{ 12078,  12080,  12083,  12085,  12088,  12091,  12094 },
{ 12080,  12082,  12085,  12087,  12090,  12093,  12096 },
{ 12082,  12085,  12087,  12089,  12092,  12095,  12098 },
{ 12085,  12087,  12089,  12091,  12094,  12097,  12100 }};

const unsigned int table_x_ta_temps[HTPA_NROF_TA_ELEMENTS]={2782,  2882, 2982, 3082, 3182, 3282, 3382};
const unsigned int table_y_ad_values[HTPA_NROF_AD_ELEMENTS]={0,  64, 128,  192,  256,  320,  384,  448,  512,  576,  640,  704,  768,  832,  896,  960,  1024, 1088, 1152, 1216, 1280, 1344, 1408, 1472, 1536, 1600, 1664, 1728, 1792, 1856, 1920, 1984, 2048, 2112, 2176, 2240, 2304, 2368, 2432, 2496, 2560, 2624, 2688, 2752, 2816, 2880, 2944, 3008, 3072, 3136, 3200, 3264, 3328, 3392, 3456, 3520, 3584, 3648, 3712, 3776, 3840, 3904, 3968, 4032, 4096, 4160, 4224, 4288, 4352, 4416, 4480, 4544, 4608, 4672, 4736, 4800, 4864, 4928, 4992, 5056, 5120, 5184, 5248, 5312, 5376, 5440, 5504, 5568, 5632, 5696, 5760, 5824, 5888, 5952, 6016, 6080, 6144, 6208, 6272, 6336, 6400, 6464, 6528, 6592, 6656, 6720, 6784, 6848, 6912, 6976, 7040, 7104, 7168, 7232, 7296, 7360, 7424, 7488, 7552, 7616, 7680, 7744, 7808, 7872, 7936, 8000, 8064, 8128, 8192, 8256, 8320, 8384, 8448, 8512, 8576, 8640, 8704, 8768, 8832, 8896, 8960, 9024, 9088, 9152, 9216, 9280, 9344, 9408, 9472, 9536, 9600, 9664, 9728, 9792, 9856, 9920, 9984, 10048,  10112,  10176,  10240,  10304,  10368,  10432,  10496,  10560,  10624,  10688,  10752,  10816,  10880,  10944,  11008,  11072,  11136,  11200,  11264,  11328,  11392,  11456,  11520,  11584,  11648,  11712,  11776,  11840,  11904,  11968,  12032,  12096,  12160,  12224,  12288,  12352,  12416,  12480,  12544,  12608,  12672,  12736,  12800,  12864,  12928,  12992,  13056,  13120,  13184,  13248,  13312,  13376,  13440,  13504,  13568,  13632,  13696,  13760,  13824,  13888,  13952,  14016,  14080,  14144,  14208,  14272,  14336,  14400,  14464,  14528,  14592,  14656,  14720,  14784,  14848,  14912,  14976,  15040,  15104,  15168,  15232,  15296,  15360,  15424,  15488,  15552,  15616,  15680,  15744,  15808,  15872,  15936,  16000,  16064,  16128,  16192,  16256,  16320,  16384,  16448,  16512,  16576,  16640,  16704,  16768,  16832,  16896,  16960,  17024,  17088,  17152,  17216,  17280,  17344,  17408,  17472,  17536,  17600,  17664,  17728,  17792,  17856,  17920,  17984,  18048,  18112,  18176,  18240,  18304,  18368,  18432,  18496,  18560,  18624,  18688,  18752,  18816,  18880,  18944,  19008,  19072,  19136,  19200,  19264,  19328,  19392,  19456,  19520,  19584,  19648,  19712,  19776,  19840,  19904,  19968,  20032,  20096,  20160,  20224,  20288,  20352,  20416,  20480,  20544,  20608,  20672,  20736,  20800,  20864,  20928,  20992,  21056,  21120,  21184,  21248,  21312,  21376,  21440,  21504,  21568,  21632,  21696,  21760,  21824,  21888,  21952,  22016,  22080,  22144,  22208,  22272,  22336,  22400,  22464,  22528,  22592,  22656,  22720,  22784,  22848,  22912,  22976,  23040,  23104,  23168,  23232,  23296,  23360,  23424,  23488,  23552,  23616,  23680,  23744,  23808,  23872,  23936,  24000,  24064,  24128,  24192,  24256,  24320,  24384,  24448,  24512,  24576,  24640,  24704,  24768,  24832,  24896,  24960,  25024,  25088,  25152,  25216,  25280,  25344,  25408,  25472,  25536,  25600,  25664,  25728,  25792,  25856,  25920,  25984,  26048,  26112,  26176,  26240,  26304,  26368,  26432,  26496,  26560,  26624,  26688,  26752,  26816,  26880,  26944,  27008,  27072,  27136,  27200,  27264,  27328,  27392,  27456,  27520,  27584,  27648,  27712,  27776,  27840,  27904,  27968,  28032,  28096,  28160,  28224,  28288,  28352,  28416,  28480,  28544,  28608,  28672,  28736,  28800,  28864,  28928,  28992,  29056,  29120,  29184,  29248,  29312,  29376,  29440,  29504,  29568,  29632,  29696,  29760,  29824,  29888,  29952,  30016,  30080,  30144,  30208,  30272,  30336,  30400,  30464,  30528,  30592,  30656,  30720,  30784,  30848,  30912,  30976,  31040,  31104,  31168,  31232,  31296,  31360,  31424,  31488,  31552,  31616,  31680,  31744,  31808,  31872,  31936,  32000,  32064,  32128,  32192,  32256,  32320,  32384,  32448,  32512,  32576,  32640,  32704,  32768,  32832,  32896,  32960,  33024,  33088,  33152,  33216,  33280,  33344,  33408,  33472,  33536,  33600,  33664,  33728,  33792,  33856,  33920,  33984,  34048,  34112,  34176,  34240,  34304,  34368,  34432,  34496,  34560,  34624,  34688,  34752,  34816,  34880,  34944,  35008,  35072,  35136,  35200,  35264,  35328,  35392,  35456,  35520,  35584,  35648,  35712,  35776,  35840,  35904,  35968,  36032,  36096,  36160,  36224,  36288,  36352,  36416,  36480,  36544,  36608,  36672,  36736,  36800,  36864,  36928,  36992,  37056,  37120,  37184,  37248,  37312,  37376,  37440,  37504,  37568,  37632,  37696,  37760,  37824,  37888,  37952,  38016,  38080,  38144,  38208,  38272,  38336,  38400,  38464,  38528,  38592,  38656,  38720,  38784,  38848,  38912,  38976,  39040,  39104,  39168,  39232,  39296,  39360,  39424,  39488,  39552,  39616,  39680,  39744,  39808,  39872,  39936,  40000,  40064,  40128,  40192,  40256,  40320,  40384,  40448,  40512,  40576,  40640,  40704,  40768,  40832,  40896,  40960,  41024,  41088,  41152,  41216,  41280,  41344,  41408,  41472,  41536,  41600,  41664,  41728,  41792,  41856,  41920,  41984,  42048,  42112,  42176,  42240,  42304,  42368,  42432,  42496,  42560,  42624,  42688,  42752,  42816,  42880,  42944,  43008,  43072,  43136,  43200,  43264,  43328,  43392,  43456,  43520,  43584,  43648,  43712,  43776,  43840,  43904,  43968,  44032,  44096,  44160,  44224,  44288,  44352,  44416,  44480,  44544,  44608,  44672,  44736,  44800,  44864,  44928,  44992,  45056,  45120,  45184,  45248,  45312,  45376,  45440,  45504,  45568,  45632,  45696,  45760,  45824,  45888,  45952,  46016,  46080,  46144,  46208,  46272,  46336,  46400,  46464,  46528,  46592,  46656,  46720,  46784,  46848,  46912,  46976,  47040,  47104,  47168,  47232,  47296,  47360,  47424,  47488,  47552,  47616,  47680,  47744,  47808,  47872,  47936,  48000,  48064,  48128,  48192,  48256,  48320,  48384,  48448,  48512,  48576,  48640,  48704,  48768,  48832,  48896,  48960,  49024,  49088,  49152,  49216,  49280,  49344,  49408,  49472,  49536,  49600,  49664,  49728,  49792,  49856,  49920,  49984,  50048,  50112,  50176,  50240,  50304,  50368,  50432,  50496,  50560,  50624,  50688,  50752,  50816,  50880,  50944,  51008,  51072,  51136,  51200,  51264,  51328,  51392,  51456,  51520,  51584,  51648,  51712,  51776,  51840,  51904,  51968,  52032,  52096,  52160,  52224,  52288,  52352,  52416,  52480,  52544,  52608,  52672,  52736,  52800,  52864,  52928,  52992,  53056,  53120,  53184,  53248,  53312,  53376,  53440,  53504,  53568,  53632,  53696,  53760,  53824,  53888,  53952,  54016,  54080,  54144,  54208,  54272,  54336,  54400,  54464,  54528,  54592,  54656,  54720,  54784,  54848,  54912,  54976,  55040,  55104,  55168,  55232,  55296,  55360,  55424,  55488,  55552,  55616,  55680,  55744,  55808,  55872,  55936,  56000,  56064,  56128,  56192,  56256,  56320,  56384,  56448,  56512,  56576,  56640,  56704,  56768,  56832,  56896,  56960,  57024,  57088,  57152,  57216,  57280,  57344,  57408,  57472,  57536,  57600,  57664,  57728,  57792,  57856,  57920,  57984,  58048,  58112,  58176,  58240,  58304,  58368,  58432,  58496,  58560,  58624,  58688,  58752,  58816,  58880,  58944,  59008,  59072,  59136,  59200,  59264,  59328,  59392,  59456,  59520,  59584,  59648,  59712,  59776,  59840,  59904,  59968,  60032,  60096,  60160,  60224,  60288,  60352,  60416,  60480,  60544,  60608,  60672,  60736,  60800,  60864,  60928,  60992,  61056,  61120,  61184,  61248,  61312,  61376,  61440,  61504,  61568,  61632,  61696,  61760,  61824,  61888,  61952,  62016,  62080,  62144,  62208,  62272,  62336,  62400,  62464,  62528,  62592,  62656,  62720,  62784,  62848,  62912,  62976,  63040,  63104,  63168,  63232,  63296,  63360,  63424,  63488,  63552,  63616,  63680,  63744,  63808,  63872,  63936,  64000,  64064,  64128,  64192,  64256,  64320,  64384,  64448,  64512,  64576,  64640,  64704,  64768,  64832,  64896,  64960,  65024,  65088,  65152,  65216,  65280,  65344,  65408,  65472,  65536,  65600,  65664,  65728,  65792,  65856,  65920,  65984,  66048,  66112,  66176,  66240,  66304,  66368,  66432,  66496,  66560,  66624,  66688,  66752,  66816,  66880,  66944,  67008,  67072,  67136,  67200,  67264,  67328,  67392,  67456,  67520,  67584,  67648,  67712,  67776,  67840,  67904,  67968,  68032,  68096,  68160,  68224,  68288,  68352,  68416,  68480,  68544,  68608,  68672,  68736,  68800,  68864,  68928,  68992,  69056,  69120,  69184,  69248,  69312,  69376,  69440,  69504,  69568,  69632,  69696,  69760,  69824,  69888,  69952,  70016,  70080,  70144,  70208,  70272,  70336,  70400,  70464,  70528,  70592,  70656,  70720,  70784,  70848,  70912,  70976,  71040,  71104,  71168,  71232,  71296,  71360,  71424,  71488,  71552,  71616,  71680,  71744,  71808,  71872,  71936,  72000,  72064,  72128,  72192,  72256,  72320,  72384,  72448,  72512,  72576,  72640,  72704,  72768,  72832,  72896,  72960,  73024,  73088,  73152,  73216,  73280,  73344,  73408,  73472,  73536,  73600,  73664,  73728,  73792,  73856,  73920,  73984,  74048,  74112,  74176,  74240,  74304,  74368,  74432,  74496,  74560,  74624,  74688,  74752,  74816,  74880,  74944,  75008,  75072,  75136,  75200,  75264,  75328,  75392,  75456,  75520,  75584,  75648,  75712,  75776,  75840,  75904,  75968,  76032,  76096,  76160,  76224,  76288,  76352,  76416,  76480,  76544,  76608,  76672,  76736,  76800,  76864,  76928,  76992,  77056,  77120,  77184,  77248,  77312,  77376,  77440,  77504,  77568,  77632,  77696,  77760,  77824,  77888,  77952,  78016,  78080,  78144,  78208,  78272,  78336,  78400,  78464,  78528,  78592,  78656,  78720,  78784,  78848,  78912,  78976,  79040,  79104,  79168,  79232,  79296,  79360,  79424,  79488,  79552,  79616,  79680,  79744,  79808,  79872,  79936,  80000,  80064,  80128,  80192,  80256,  80320,  80384,  80448,  80512,  80576,  80640,  80704,  80768,  80832,  80896,  80960,  81024,  81088,  81152,  81216,  81280,  81344,  81408,  81472,  81536,  81600,  81664,  81728,  81792,  81856,  81920,  81984,  82048,  82112,  82176,  82240,  82304,  82368,  82432,  82496,  82560,  82624,  82688,  82752,  82816,  82880,  82944,  83008,  83072,  83136,  83200,  83264,  83328,  83392,  83456,  83520,  83584,  83648,  83712,  83776,  83840,  83904,  83968,  84032,  84096,  84160,  84224,  84288,  84352,  84416,  84480,  84544,  84608,  84672,  84736,  84800,  84864,  84928,  84992,  85056,  85120,  85184,  85248,  85312,  85376,  85440,  85504,  85568,  85632,  85696,  85760,  85824,  85888,  85952,  86016,  86080,  86144,  86208,  86272,  86336,  86400,  86464,  86528,  86592,  86656,  86720,  86784,  86848,  86912,  86976,  87040,  87104,  87168,  87232,  87296,  87360,  87424,  87488,  87552,  87616,  87680,  87744,  87808,  87872,  87936,  88000,  88064,  88128,  88192,  88256,  88320,  88384,  88448,  88512,  88576,  88640,  88704,  88768,  88832,  88896,  88960,  89024,  89088,  89152,  89216,  89280,  89344,  89408,  89472,  89536,  89600,  89664,  89728,  89792,  89856,  89920,  89984,  90048,  90112,  90176,  90240,  90304,  90368,  90432,  90496,  90560,  90624,  90688,  90752,  90816,  90880,  90944,  91008,  91072,  91136,  91200,  91264,  91328,  91392,  91456,  91520,  91584,  91648,  91712,  91776,  91840,  91904,  91968,  92032,  92096,  92160,  92224,  92288,  92352,  92416,  92480,  92544,  92608,  92672,  92736,  92800,  92864,  92928,  92992,  93056,  93120,  93184,  93248,  93312,  93376,  93440,  93504,  93568,  93632,  93696,  93760,  93824,  93888,  93952,  94016,  94080,  94144,  94208,  94272,  94336,  94400,  94464,  94528,  94592,  94656,  94720,  94784,  94848,  94912,  94976,  95040,  95104,  95168,  95232,  95296,  95360,  95424,  95488,  95552,  95616,  95680,  95744,  95808,  95872,  95936,  96000,  96064,  96128,  96192,  96256,  96320,  96384,  96448,  96512,  96576,  96640,  96704,  96768,  96832,  96896,  96960,  97024,  97088,  97152,  97216,  97280,  97344,  97408,  97472,  97536,  97600,  97664,  97728,  97792,  97856,  97920,  97984,  98048,  98112,  98176,  98240,  98304,  98368,  98432,  98496,  98560,  98624,  98688,  98752,  98816,  98880,  98944,  99008,  99072,  99136,  99200,  99264,  99328,  99392,  99456,  99520,  99584,  99648,  99712,  99776,  99840,  99904,  99968,  100032, 100096, 100160, 100224, 100288, 100352, 100416, 100480, 100544, 100608, 100672, 100736, 100800, 100864, 100928, 100992, 101056, 101120, 101184, 101248, 101312, 101376, 101440, 101504, 101568, 101632, 101696, 101760, 101824, 101888, 101952, 102016};
